research
∙
05/12/2022
Direct Foundations for Compositional Programming
The recently proposed CP language adopts Compositional Programming: a ne...
share
research
∙
10/13/2020
Resolution as Intersection Subtyping via Modus Ponens
Resolution and subtyping are two common mechanisms in programming langua...
research
∙
11/12/2019
Kind Inference for Datatypes: Technical Supplement
In recent years, languages like Haskell have seen a dramatic surge of ne...
research
∙
02/01/2019