4 ms·
Looking at the table of contents, it seems like an implementation oriented version of part 1 of "Semantics Engineering with PLT Redex" by Felleisen et al. Anyon
by huntie 8y ago
Looking at the table of contents, it seems like an implementation oriented version of part 1 of "Semantics Engineering with PLT Redex" by Felleisen et al. Anyone know what abstract machine it uses? I'm guessing Landin's SECD machine since that seems to be the most common.
- nils-m-holm 8y agoThe book uses a virtual stack machine that may be thought of as an ad-hoc implementation of the SECD machine.