We are a group of programming language researchers who study topics about functional language design, type theory, compilers and program analysis. The University of Hong Kong