a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool