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

by T Hardin, L Maranget, B Pagano
Venue:J. Funct. Programming