Sort by:
Order:

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: