A Rational Deconstruction of Landin's SECD Machine with the J Operator
From MaRDI portal
Publication:3623008
DOI10.2168/LMCS-4(4:12)2008zbMath1161.68012WikidataQ56912305 ScholiaQ56912305MaRDI QIDQ3623008
Publication date: 29 April 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Related Items
Peter J. Landin (1930--2009) ⋮ The Peter Landin prize ⋮ An introduction to Landin's ``Getting rid of labels ⋮ Stories about calculations: Remembering Peter Landin ⋮ Refunctionalization at work ⋮ On graph rewriting, reduction, and evaluation in the presence of cycles ⋮ A correspondence between type checking via reduction and type checking via evaluation ⋮ From Reduction-Based to Reduction-Free Normalization