The “abstracting abstract machines” paper by Van Horn and Might, introducing the AAM reduction formalism by transforming the #CEK machine (etc.) into an abstract interpretation of itself. (Also the CM machine.)
on 02015-08-30The #CEK machine in 14 lines of #Prolog. #smallisbeautiful
on 02015-08-15#Introduction to simple, efficient interpreters in #Haskell using the #CEK machine (control, environment, continuation) model of the #lambda-calculus.
on 02015-08-15