research
∙
08/16/2023
Continuing WebAssembly with Effect Handlers
WebAssembly (Wasm) is a low-level portable code format offering near nat...
share
research
∙
07/18/2023
Soundly Handling Linearity
We propose a novel approach to soundly combining linear types with effec...
research
∙
04/17/2023
Structural Subtyping as Parametric Polymorphism
Structural subtyping and parametric polymorphism provide a similar kind ...
research
∙
07/20/2022
Constraint-based type inference for FreezeML
FreezeML is a new approach to first-class polymorphic type inference tha...
research
∙
07/22/2021
A Typed Slicing Compilation of the Polymorphic RPC Calculus
The polymorphic RPC calculus allows programmers to write succinct multit...
research
∙
05/19/2021
Separating Sessions Smoothly
This paper introduces Hypersequent GV (HGV), a modular and extensible co...
research
∙
07/01/2020
Effects for Efficiency: Asymptotic Speedup with First-Class Control
We study the fundamental efficiency of delimited control. Specifically, ...
research
∙
04/30/2020
Proceedings Eighth Workshop on Mathematically Structured Functional Programming
This volume contains the proceedings of the Eighth Workshop on Mathemati...
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
∙
10/24/2019
A Polymorphic RPC Calculus
The RPC calculus is a simple semantic foundation for multi-tier programm...
research
∙
05/15/2019
Proceedings ML Family / OCaml Users and Developers workshops
This volume contains the joint post-proceedings of the 2017 editions of ...
research
∙
07/10/2018
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
The seventh workshop on Mathematically Structured Functional Programming...
research
∙
10/23/2017