HKU PL Group

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

Type Inference for Erlang