Functional runtime systems within the lambda-sigma calculus (1998)

by Thérese Hardin, Luc Maranget, Bruno Pagano
Venue:Journal of Functional Programming