Note: this page design is stolen from Xavier Leroy
My current research focuses on adapting Supercompilation for a higher-order call-by-value functional language.