research
∙
05/04/2023
Type System for Four Delimited Control Operators
The operational behavior of control operators has been studied comprehen...
share
research
∙
10/14/2021
A Functional Abstraction of Typed Invocation Contexts
In their paper "A Functional Abstraction of Typed Contexts", Danvy and F...
research
∙
06/27/2019
Stepping OCaml
Steppers, which display all the reduction steps of a given program, are ...
research
∙
12/28/2018