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

Distributing Intersection and Union Types with Splits and Duality

Abstract

A practice talk for ICFP.