HKU PL Group

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

Formalized Higher-Ranked Polymorphic Type Inference Algorithms

Abstract

This is a practice talk of Jimmy’s Ph.D. thesis defense examination.