Functional back-ends and compilers within the lambda-sigma calculus (1995)

by T Hardin, L Maranget, B Pagano
Venue:The Workshop on the Implementation of Functional Languages '95. Bastad