/evalFromToAbsMachines

A Functional Correspondence between Evaluators and Abstract Machines

Primary LanguageHaskell

Exploring for fun "A Functional Correspondence between Evaluators and Abstract Machines" from the Danvy group.