Automatic useless-code elimination for HOT functional programs

DOI10.1017/S0956796800003786zbMath0974.68031OpenAlexW2048919922MaRDI QIDQ2713364

Paola Giannini, Ferruccio Damiani

Publication date: 20 September 2001

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

Full work available at URL: https://doi.org/10.1017/s0956796800003786

zbMATH Keywords

inference systemshigher-order typed functional programs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: Automatic useless-code elimination for HOT functional programs