research
∙
07/20/2022
Constraint-based type inference for FreezeML
FreezeML is a new approach to first-class polymorphic type inference tha...
share
research
∙
04/01/2020
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
ML is remarkable in providing statically typed polymorphism without the ...
research
∙
07/12/2019
Verified Self-Explaining Computation
Common programming tools, like compilers, debuggers, and IDEs, crucially...
research
∙
03/27/2018
Language-integrated provenance in Haskell
Scientific progress increasingly depends on data management, particularl...
research
∙
05/22/2017