https://github.com/samth/popl08-model

https://github.com/samth/popl08-model

Last synced: 5 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/samth/popl08-model
• Owner: samth
• Created: 2011-05-30T15:16:56.000Z (about 15 years ago)
• Default Branch: master
• Last Pushed: 2011-05-30T15:17:15.000Z (about 15 years ago)
• Last Synced: 2025-10-10T13:38:22.881Z (8 months ago)
• Language: Scheme
• Homepage:
• Size: 129 KB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

          
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.