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

Revisiting type disjointness


In this problem session, we will go over the existing definitions of type disjointness and discuss an alternative approach proposed by Jimmy.