Thérèse Hardin Luc Maranget Functional Runtime Systems Within the Lambda-Sigma Calculus. 131-176 1998 8 J. Funct. Program. 2 db/journals/jfp/jfp8.html#HardinM98