/evalFromToAbsMachines

A Functional Correspondence between Evaluators and Abstract Machines

Primary LanguageHaskell

No issues in this repository yet.