GitHub - evalwhen/dybvig-three-imp: Implementations of the compilers and VMs from R. Kent Dybvig's paper.

evalwhen / dybvig-three-imp Public

forked from bdj/dybvig-three-imp

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Implementations of the compilers and VMs from R. Kent Dybvig's paper.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.gitignore		.gitignore
4-4-test2.ss		4-4-test2.ss
4-5-test.ss		4-5-test.ss
README		README
dybvig-3-4.ss		dybvig-3-4.ss
dybvig-3-5.ss		dybvig-3-5.ss
dybvig-4-1.ss		dybvig-4-1.ss
dybvig-4-2.ss		dybvig-4-2.ss
dybvig-4-3.ss		dybvig-4-3.ss
dybvig-4-4-test.ss		dybvig-4-4-test.ss
dybvig-4-4.ss		dybvig-4-4.ss
dybvig-4-5.ss		dybvig-4-5.ss
dybvig-4-6.ss		dybvig-4-6.ss
dybvig-macros.ss		dybvig-macros.ss
tests.ss		tests.ss

Repository files navigation

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.