CPS transformation of beta-redexes

From MaRDI portal
Publication:1041755

DOI10.1016/J.IPL.2005.02.002zbMath1182.68045OpenAlexW2095040554MaRDI QIDQ1041755

Lasse R. Nielsen, Olivier Danvy

Publication date: 4 December 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2005.02.002




Related Items (7)




Cites Work




This page was built for publication: CPS transformation of beta-redexes