/evalFromToAbsMachines

A Functional Correspondence between Evaluators and Abstract Machines

Primary LanguageHaskell

Stargazers