research
∙
01/30/2023
Type Theory as a Language Workbench
Language Workbenches offer language designers an expressive environment ...
share
research
∙
04/02/2019
Value-Dependent Session Design in a Dependently Typed Language
Session Types offer a typing discipline that allows protocol specificati...
research
∙
08/28/2018
