├── .gitignore ├── .travis.yml ├── Makefile ├── README.md ├── info.rkt └── monadic-eval ├── evals ├── eval-coind-roots.rkt ├── eval-coind.rkt ├── eval-dead.rkt └── eval-lazy-deref.rkt ├── evs ├── ev-ap-cache.rkt ├── ev-ap.rkt ├── ev-bang.rkt ├── ev-cache-roots.rkt ├── ev-cache.rkt ├── ev-cache0.rkt ├── ev-collect.rkt ├── ev-compile.rkt ├── ev-cycle.rkt ├── ev-dead.rkt ├── ev-debug.rkt ├── ev-echo.rkt ├── ev-lazy-deref.rkt ├── ev-loop.rkt ├── ev-reach.rkt ├── ev-ref.rkt ├── ev-roots.rkt ├── ev-symbolic.rkt ├── ev-trace.rkt └── ev.rkt ├── examples ├── dead-ex0.rkt ├── ex0.rkt ├── ex10.rkt ├── ex11.rkt ├── ex9.rkt ├── loop-ex0.rkt ├── loop-ex1.rkt ├── reach-ex0.rkt ├── symb-ex0.rkt ├── symb-ex10.rkt ├── symb-ex11.rkt ├── symb-ex9.rkt ├── trace-ex0.rkt ├── trace-ex10.rkt ├── trace-ex11.rkt └── trace-ex9.rkt ├── fix.rkt ├── fixed ├── eval-apply-pdcfa.rkt ├── eval-bang.rkt ├── eval-compile.rkt ├── eval-cycle.rkt ├── eval-dead.rkt ├── eval-gc.rkt ├── eval-loop-widen-pres.rkt ├── eval-nd-abs.rkt ├── eval-nd.rkt ├── eval-pdcfa-gc-roots.rkt ├── eval-pdcfa-gc.rkt ├── eval-pdcfa-pres.rkt ├── eval-pdcfa-widen-gc.rkt ├── eval-pdcfa-widen-pres.rkt ├── eval-pdcfa-widen.rkt ├── eval-pdcfa.rkt ├── eval-reach.rkt ├── eval-symbolic.rkt ├── eval-trace.rkt └── eval.rkt ├── friedman └── abiall.rkt ├── gc.rkt ├── lang └── reader.rkt ├── main.rkt ├── map.rkt ├── metafuns ├── alloc-0cfa.rkt ├── alloc-bang.rkt ├── alloc-max.rkt ├── alloc-size.rkt ├── alloc-x.rkt ├── alloc.rkt ├── delta-abs.rkt ├── delta-force.rkt ├── delta-pres.rkt ├── delta-symbolic.rkt ├── delta.rkt ├── state-crush.rkt ├── state-lazy.rkt ├── state-nd.rkt └── state.rkt ├── monad ├── CacheT.rkt ├── monad-alt.rkt ├── monad-by-hand.rkt ├── monad-cache.rkt ├── monad-cycle.rkt ├── monad-dead.rkt ├── monad-gc.rkt ├── monad-nd.rkt ├── monad-output.rkt ├── monad-pdcfa-gc.rkt ├── monad-pdcfa-show-store.rkt ├── monad-pdcfa-widen-gc.rkt ├── monad-pdcfa-widen.rkt ├── monad-pdcfa.rkt ├── monad-symbolic.rkt ├── monad-trace-expr-nd.rkt ├── monad-trace-nd.rkt └── monad.rkt ├── paper ├── 01-intro.scrbl ├── 02-aam.scrbl ├── 03-interp.scrbl ├── 04-cache.scrbl ├── 05-reynolds.scrbl ├── 06-widening.scrbl ├── 07-alt-abstraction.scrbl ├── 08-symbolic-execution.scrbl ├── 09-gc.scrbl ├── 10-related-work.scrbl ├── 11-conclusions.scrbl ├── Makefile ├── README.md ├── appendix │ ├── 10-formalism.tex │ ├── ACM-Reference-Format.bst │ ├── Makefile │ ├── acmart.cls │ ├── davdar.bib │ ├── dvanhorn.bib │ ├── galois.sty │ ├── implementation.txt │ ├── latex-unicode-escape.sed │ ├── latex-unicode-post.sed │ ├── latex-unicode-pre.sed │ ├── latex-unicode-unescape.sed │ ├── latex-unicode.sed │ ├── local.bib │ ├── main.tex │ ├── mathpartir.sty │ └── old-cache-fixing.tex ├── artifact_available.png ├── artifact_evaluated-reusable.png ├── bib.rkt ├── evals.rkt ├── html.scrbl ├── main.bib ├── main.scrbl └── style.tex ├── parser.rkt ├── set.rkt ├── signatures.rkt ├── sstruct.rkt ├── syntax.rkt ├── tests ├── eval-bang.rkt ├── eval-compile.rkt ├── eval-cycle.rkt ├── eval-dead.rkt ├── eval-gc.rkt ├── eval-nd-abs.rkt ├── eval-nd.rkt ├── eval-pdcfa-gc-roots.rkt ├── eval-pdcfa-gc.rkt ├── eval-pdcfa-pres.rkt ├── eval-pdcfa-widen-gc.rkt ├── eval-pdcfa-widen-pres.rkt ├── eval-pdcfa-widen.rkt ├── eval-pdcfa.rkt ├── eval-reach.rkt ├── eval-symbolic.rkt ├── eval-trace.rkt ├── eval.rkt └── tests.rkt ├── transformers.rkt ├── units.rkt └── unparse.rkt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/.travis.yml -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/README.md -------------------------------------------------------------------------------- /info.rkt: -------------------------------------------------------------------------------- 1 | #lang info 2 | (define collection 'multi) 3 | -------------------------------------------------------------------------------- /monadic-eval/evals/eval-coind-roots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evals/eval-coind-roots.rkt -------------------------------------------------------------------------------- /monadic-eval/evals/eval-coind.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evals/eval-coind.rkt -------------------------------------------------------------------------------- /monadic-eval/evals/eval-dead.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evals/eval-dead.rkt -------------------------------------------------------------------------------- /monadic-eval/evals/eval-lazy-deref.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evals/eval-lazy-deref.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-ap-cache.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-ap-cache.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-ap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-ap.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-bang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-bang.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-cache-roots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-cache-roots.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-cache.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-cache.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-cache0.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-cache0.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-collect.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-collect.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-compile.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-compile.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-cycle.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-cycle.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-dead.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-dead.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-debug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-debug.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-echo.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-lazy-deref.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-lazy-deref.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-loop.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-loop.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-reach.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-reach.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-ref.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-ref.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-roots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-roots.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-symbolic.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev-trace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev-trace.rkt -------------------------------------------------------------------------------- /monadic-eval/evs/ev.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/evs/ev.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/dead-ex0.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/dead-ex0.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/ex0.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/ex0.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/ex10.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/ex10.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/ex11.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/ex11.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/ex9.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/ex9.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/loop-ex0.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/loop-ex0.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/loop-ex1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/loop-ex1.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/reach-ex0.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/reach-ex0.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/symb-ex0.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/symb-ex0.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/symb-ex10.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/symb-ex10.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/symb-ex11.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/symb-ex11.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/symb-ex9.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/symb-ex9.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/trace-ex0.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/trace-ex0.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/trace-ex10.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/trace-ex10.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/trace-ex11.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/trace-ex11.rkt -------------------------------------------------------------------------------- /monadic-eval/examples/trace-ex9.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/examples/trace-ex9.rkt -------------------------------------------------------------------------------- /monadic-eval/fix.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fix.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-apply-pdcfa.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-apply-pdcfa.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-bang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-bang.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-compile.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-compile.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-cycle.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-cycle.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-dead.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-dead.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-gc.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-loop-widen-pres.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-loop-widen-pres.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-nd-abs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-nd-abs.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-nd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-nd.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-pdcfa-gc-roots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-pdcfa-gc-roots.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-pdcfa-gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-pdcfa-gc.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-pdcfa-pres.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-pdcfa-pres.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-pdcfa-widen-gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-pdcfa-widen-gc.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-pdcfa-widen-pres.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-pdcfa-widen-pres.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-pdcfa-widen.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-pdcfa-widen.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-pdcfa.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-pdcfa.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-reach.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-reach.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-symbolic.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval-trace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval-trace.rkt -------------------------------------------------------------------------------- /monadic-eval/fixed/eval.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/fixed/eval.rkt -------------------------------------------------------------------------------- /monadic-eval/friedman/abiall.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/friedman/abiall.rkt -------------------------------------------------------------------------------- /monadic-eval/gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/gc.rkt -------------------------------------------------------------------------------- /monadic-eval/lang/reader.rkt: -------------------------------------------------------------------------------- 1 | #lang s-exp syntax/module-reader 2 | monadic-eval 3 | -------------------------------------------------------------------------------- /monadic-eval/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/main.rkt -------------------------------------------------------------------------------- /monadic-eval/map.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/map.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/alloc-0cfa.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/alloc-0cfa.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/alloc-bang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/alloc-bang.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/alloc-max.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/alloc-max.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/alloc-size.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/alloc-size.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/alloc-x.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/alloc-x.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/alloc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/alloc.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/delta-abs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/delta-abs.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/delta-force.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/delta-force.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/delta-pres.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/delta-pres.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/delta-symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/delta-symbolic.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/delta.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/delta.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/state-crush.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/state-crush.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/state-lazy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/state-lazy.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/state-nd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/state-nd.rkt -------------------------------------------------------------------------------- /monadic-eval/metafuns/state.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/metafuns/state.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/CacheT.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/CacheT.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-alt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-alt.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-by-hand.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-by-hand.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-cache.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-cache.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-cycle.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-cycle.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-dead.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-dead.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-gc.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-nd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-nd.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-output.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-output.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-pdcfa-gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-pdcfa-gc.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-pdcfa-show-store.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-pdcfa-show-store.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-pdcfa-widen-gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-pdcfa-widen-gc.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-pdcfa-widen.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-pdcfa-widen.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-pdcfa.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-pdcfa.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-symbolic.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-trace-expr-nd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-trace-expr-nd.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad-trace-nd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad-trace-nd.rkt -------------------------------------------------------------------------------- /monadic-eval/monad/monad.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/monad/monad.rkt -------------------------------------------------------------------------------- /monadic-eval/paper/01-intro.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/01-intro.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/02-aam.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/02-aam.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/03-interp.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/03-interp.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/04-cache.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/04-cache.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/05-reynolds.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/05-reynolds.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/06-widening.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/06-widening.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/07-alt-abstraction.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/07-alt-abstraction.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/08-symbolic-execution.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/08-symbolic-execution.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/09-gc.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/09-gc.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/10-related-work.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/10-related-work.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/11-conclusions.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/11-conclusions.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/Makefile -------------------------------------------------------------------------------- /monadic-eval/paper/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/README.md -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/10-formalism.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/10-formalism.tex -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/ACM-Reference-Format.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/ACM-Reference-Format.bst -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/Makefile -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/acmart.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/acmart.cls -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/davdar.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/davdar.bib -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/dvanhorn.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/dvanhorn.bib -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/galois.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/galois.sty -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/implementation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/implementation.txt -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/latex-unicode-escape.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/latex-unicode-escape.sed -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/latex-unicode-post.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/latex-unicode-post.sed -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/latex-unicode-pre.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/latex-unicode-pre.sed -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/latex-unicode-unescape.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/latex-unicode-unescape.sed -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/latex-unicode.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/latex-unicode.sed -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/local.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/local.bib -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/main.tex -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/mathpartir.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/mathpartir.sty -------------------------------------------------------------------------------- /monadic-eval/paper/appendix/old-cache-fixing.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/appendix/old-cache-fixing.tex -------------------------------------------------------------------------------- /monadic-eval/paper/artifact_available.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/artifact_available.png -------------------------------------------------------------------------------- /monadic-eval/paper/artifact_evaluated-reusable.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/artifact_evaluated-reusable.png -------------------------------------------------------------------------------- /monadic-eval/paper/bib.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/bib.rkt -------------------------------------------------------------------------------- /monadic-eval/paper/evals.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/evals.rkt -------------------------------------------------------------------------------- /monadic-eval/paper/html.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/html.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/main.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/main.bib -------------------------------------------------------------------------------- /monadic-eval/paper/main.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/main.scrbl -------------------------------------------------------------------------------- /monadic-eval/paper/style.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/paper/style.tex -------------------------------------------------------------------------------- /monadic-eval/parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/parser.rkt -------------------------------------------------------------------------------- /monadic-eval/set.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/set.rkt -------------------------------------------------------------------------------- /monadic-eval/signatures.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/signatures.rkt -------------------------------------------------------------------------------- /monadic-eval/sstruct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/sstruct.rkt -------------------------------------------------------------------------------- /monadic-eval/syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/syntax.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-bang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-bang.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-compile.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-compile.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-cycle.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-cycle.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-dead.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-dead.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-gc.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-nd-abs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-nd-abs.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-nd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-nd.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-pdcfa-gc-roots.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-pdcfa-gc-roots.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-pdcfa-gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-pdcfa-gc.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-pdcfa-pres.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-pdcfa-pres.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-pdcfa-widen-gc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-pdcfa-widen-gc.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-pdcfa-widen-pres.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-pdcfa-widen-pres.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-pdcfa-widen.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-pdcfa-widen.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-pdcfa.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-pdcfa.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-reach.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-reach.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-symbolic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-symbolic.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval-trace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval-trace.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/eval.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/eval.rkt -------------------------------------------------------------------------------- /monadic-eval/tests/tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/tests/tests.rkt -------------------------------------------------------------------------------- /monadic-eval/transformers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/transformers.rkt -------------------------------------------------------------------------------- /monadic-eval/units.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/units.rkt -------------------------------------------------------------------------------- /monadic-eval/unparse.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plum-umd/abstracting-definitional-interpreters/HEAD/monadic-eval/unparse.rkt --------------------------------------------------------------------------------