Functional back-ends within the lambda-sigma calculus

Thérèse Hardin, Luc Maranget, Bruno Pagano
1996 Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96  
doi:10.1145/232627.232632 dblp:conf/icfp/HardinMP96 fatcat:mvn3uolivzg7xipl53npps5vxe