Functional back-ends within the lambda-sigma calculus (1996)

by T Hardin, L Maranget, B Pagano
Venue:In Proc. of ICFP’1996