Functional runtimes within the lambdasigma calculus (1998)

by T Hardin, L Maranget, B Pagano
Venue:Journal of Functional Programming