research
∙
07/01/2020
Effects for Efficiency: Asymptotic Speedup with First-Class Control
We study the fundamental efficiency of delimited control. Specifically, ...
share
research
∙
06/01/2018
The encodability hierarchy for PCF types
Working with the simple types over a base type of natural numbers (inclu...
research
∙
04/19/2018
