A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Thérèse Hardin, Luc Maranget, Bruno Pagano. "Functional back-ends within the lambda-sigma calculus." Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (1996) 25-33