Functional runtime systems within the lambda-sigma calculus.Published in:Journal of Functional Programming, 1998, v. 8, n. 2, p. 131, doi. 10.1017/s0956796898002986By:HARDIN, THÉRÈSE;MARANGET, LUC;PAGANO, BRUNOPublication type:Article