research
∙
04/04/2023
Gradual Typing for Effect Handlers
We present a gradually typed language, GrEff, with effects and handlers ...
share
research
∙
10/16/2022
A Formal Logic for Formal Category Theory
We present a domain-specific type theory for constructions and proofs in...
research
∙
06/20/2022
Proceedings Ninth Workshop on Mathematically Structured Functional Programming
This volume contains the proceedings of the Ninth Workshop on Mathematic...
research
∙
04/30/2020
Proceedings Eighth Workshop on Mathematically Structured Functional Programming
This volume contains the proceedings of the Eighth Workshop on Mathemati...
research
∙
11/06/2018
Gradual Type Theory (Extended Version)
Gradually typed languages are designed to support both dynamically typed...
research
∙
07/08/2018
Graduality from Embedding-projection Pairs (Extended Version)
Gradually typed languages allow statically typed and dynamically typed c...
research
∙
01/31/2018