GitHub - Blaisorblade/evalFromToAbsMachines: A Functional Correspondence between Evaluators and Abstract Machines · GitHub

Name		Name	Last commit message	Last commit date
Haskell		Haskell
README.md		README.md

Repository files navigation

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

About

A Functional Correspondence between Evaluators and Abstract Machines

8 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages