Automatic useless-code elimination for HOT functional programs
From MaRDI portal
Publication:2713364
DOI10.1017/S0956796800003786zbMath0974.68031MaRDI QIDQ2713364
Ferruccio Damiani, Paola Giannini
Publication date: 20 September 2001
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N18: Functional programming and lambda calculus