A Redex model for The Essence of Compiling with Continuations.
Racket
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
docs
src
.gitignore
README.md
mates-silkensen.rkt

README.md

cwc

Redex models for the 1992 Flanagan et. al. paper "The Essence of Compiling with Continuations"