Package closure-calculus.plt contributed by dvanhorn [docs]
To load: (require (planet dvanhorn/closure-calculus:1:0/<<file>>))
Old style:(require (planet "[file]" ("dvanhorn" "closure-calculus.plt" 1 0)))
Min Racket version: 301.3
Package description:
An aplicative order reduction semantics for the lambda-rho-hat calculus of closures.
Downloads this week: 0
Total downloads: 87
Tickets:0
Open tickets:0
Primary files:
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 0)
87
301.32007-04-01
To load: (require (planet dvanhorn/closure-calculus:1:0/<<file>>))
Available in repositories: 4.x, 3xx
[no release notes]
No Tickets Currently open for this Package [New Ticket]