Jacob Matthews, Robert Bruce Findler
Thanks for your interest in our paper. This page explains how to run the systems described in the paper.
Installing DrScheme
- Install DrScheme Since PLT Redex is a tool built on top of DrScheme, you will need the latest version of DrScheme to run it. Download and install the latest version, which is v370 as of this writing.
- Set Language Level After you install DrScheme, set the language level to (module ...) by selecting the Language | Choose Language ... menu item, and then selecting (module ...) from the resulting list.
The Reduction Systems
All of the reduction systems are in the tar gzip file r5rs-plt-redex.tar.gz. See the enclosed README file for details on how to evaluate expressions in the systems in part one or the full R5RS semantics from part two, as well as how to run the test suites.