Thérèse Hardin Luc Maranget Bruno Pagano Functional Back-Ends within the Lambda-Sigma Calculus. 25-33 1996 ICFP db/conf/icfp/icfp96.html#HardinMP96