PLaneT Package Repository : PLaneT > dherman

Package lambda-gradual.plt contributed by dherman [docs]

To load: (require (planet dherman/lambda-gradual:1:2/lambda-gradual))

Old style: (require (planet "lambda-gradual.ss" ("dherman" "lambda-gradual.plt" 1 2)))

Package description:

The gradually typed lambda calculus of Siek and Taha and Herman, Tomb, and Flanagan.

Downloads this week: 0

Total downloads: 47

Tickets: 0

Open tickets: 0

Primary files:

Current version

PLaneT version	External version	Source	DLs	Docs	Req. PLT	Date added
(1 2)	1	[browse]	40	[docs]	[none]	2007-05-10
To load: `(require (planet dherman/lambda-gradual:1:2/lambda-gradual))`
Available in repositories: 4.x, 3xx
10 May 2007 `("dherman" "lambda-gradual.plt" 1 2)` Documented some convenient shell one-liners.

No Tickets Currently open for this Package [New Ticket]

Old versions

PLaneT version	External version	Source	DLs	Docs	Req. PLT	Date added
(1 1)	1	[browse]	4	[docs]	[none]	2007-05-10
To load: `(require (planet "lambda-gradual.ss" ("dherman" "lambda-gradual.plt" 1 (= 1))))`
Available in repositories: 4.x, 3xx
10 May 2007 `("dherman" "lambda-gradual.plt" 1 0)` First PLaneT release
(1 0)	1	[browse]	3	[docs]	[none]	2007-05-10
To load: `(require (planet "lambda-gradual.ss" ("dherman" "lambda-gradual.plt" 1 (= 0))))`
Available in repositories: 4.x, 3xx
10 May 2007 `("dherman" "lambda-gradual.plt" 1 0)` First PLaneT release