Package lambda-sigma.plt contributed by dherman [docs]
To load: (require (planet dherman/lambda-sigma:1:1/lambda-sigma))
Old style:(require (planet "lambda-sigma.ss" ("dherman" "lambda-sigma.plt" 1 1)))
Package description:
The lambda-sigma calculus of Abadi, Cardelli, Curien, and Levy.
Downloads this week: 0
Total downloads: 39
Tickets:0
Open tickets:0
Primary files:
NameContract
(all-defined)
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 1)5
36
[none]2007-05-02
To load: (require (planet dherman/lambda-sigma:1:1/lambda-sigma))
Available in repositories: 4.x, 3xx

02 May 2007 ("dherman" "lambda-sigma.plt" 1 1)

  • Slightly cleaner implementation using context-closure.
No Tickets Currently open for this Package [New Ticket]

 Old versions
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 0)4
3
[none]2007-05-01
To load: (require (planet "lambda-sigma.ss" ("dherman" "lambda-sigma.plt" 1 (= 0))))
Available in repositories: 4.x, 3xx

01 May 2007 ("dherman" "lambda-sigma.plt" 1 0)

First PLaneT release