GitHub - samth/popl08-model

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
README		README
TypedScheme.thy		TypedScheme.thy
redex-both.ss		redex-both.ss
redex-ex.ss		redex-ex.ss
simple-redex-model.ss		simple-redex-model.ss

Repository files navigation

Formal Models of the system in the POPL 2008 paper
"The Design and Implementation of Typed Scheme"
by Tobin-Hochstadt and Felleisen.

Note that the current implementation of Typed Racket
is significantly different from this model.  See
the paper "Logical Types for Untyped Languages", ICFP
2010, for details.