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)
68N18: Functional programming and lambda calculus
Related Items
The Peter Landin prize, An introduction to Landin's ``Getting rid of labels, Stories about calculations: Remembering Peter Landin, A correspondence between type checking via reduction and type checking via evaluation, Peter J. Landin (1930--2009), Refunctionalization at work, From Reduction-Based to Reduction-Free Normalization