Sort by:
Order:

14 Mar 23

Abstract Machines for Programming Language Implementation

https://www.rw.cdl.uni-saarland.de/people/diehl/private/pubs/articleDiehlHartelSestoft.pdf
by neauoire 2 years ago
Tags:

13 Mar 23

Tail Recursive SECD Machine

https://www.cs.utexas.edu/users/boyer/ftp/nqthm/trsecd/trsecd.html
by neauoire 2 years ago
Tags:

A Rational Deconstruction of Landin’s SECD Machine

https://www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf
by neauoire 2 years ago
Tags: