bdj/demod-paper
Demodularization Paper
Discovered public repositories for bdj in the GitHub catalog.
Demodularization Paper
Public repository.
Public repository.
BYU CS 557 projects
Enabling Optimizations through Demodularization
Fitness program for helping with tracking workouts
Public repository.
Public repository.
Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the section of the paper it implements. I made a few modifications to make the code work with PLT Scheme. Each file is a module that exports an evaluate function. Some of the VMs need mutable lists, so I explicitly use mcons, etc. where needed. Also, the recur macro is the same as let, so I used let instead.