Current Students

• Edmund Soon Lee Lam (PhD), Developing an Agent-oriented Programming Language, 2006-
• Kenny Lu Zhuo Ming (PhD), Extending Haskell with Regular Expression Type and Pattern Matching, 2003-
• Kevin Glynn (PhD), Constraint-based Analysis of Lazy Functional Languages, 2000-

Past Students

• Jeremy Wazny (PhD), Type inference and type error diagnosis for Hindley/Milner with Extensions, 2002-2006
• Meng Wang (MSc), A Formal Comparison of the Concepts of Existential Types, Type Classes with Existential Types and Guarded Recursive Data Types, The National University of Singapore, 2005.
• Edmund Soon Lee Lam (Honors), A fresh Look at Kind Validation, The National University of Singapore, 2005.
• David Kwok Tai Wei (Honors), Resource Usage Verification, The National University of Singapore, 2004.
• Jeremy Wazny (Honors), Enforcing Security Policies using Overloading Resolution, The University of Melbourne, 2002.