A partial evaluator for the untyped lambda-calculus

From MaRDI portal
Publication:4939696

DOI10.1017/S0956796800000058zbMath1155.68350WikidataQ117560165 ScholiaQ117560165MaRDI QIDQ4939696

Carsten K. Gomard, Neil D. Jones

Publication date: 9 February 2000

Published in: Journal of Functional Programming (Search for Journal in Brave)




Related Items



Cites Work