Re: type systems as libraries

From: "RPG" <rpgoldman@xxxxxxxxx>
Date: 29 Dec 2005 19:50:42 -0800

Drew McDermott has done this as part of his suite of Yale tools for
lisp. Have a look at the software documentation and software tools on
his page at http://cs-www.cs.yale.edu/homes/dvm/

Cheers,
Robert

.

Follow-Ups:
- Re: type systems as libraries
  - From: David Trudgett

References:
- type systems as libraries
  - From: Creighton Hogg

Prev by Date: Re: Quick question: eval and read-from-string scoping
Next by Date: Re: something i don't understand...
Previous by thread: Re: type systems as libraries
Next by thread: Re: type systems as libraries
Index(es):
- Date
- Thread

Relevant Pages

Re: type systems as libraries
... > Drew McDermott has done this as part of his suite of Yale tools for ... Have a look at the software documentation and software tools on ... I think he has a good point there, and it seems to me that FORMAT is ... threatening to transform my Lisp programs into C evilness... ...
(comp.lang.lisp)
Re: type systems as libraries
... >> Drew McDermott has done this as part of his suite of Yale tools for ... > I think he has a good point there, and it seems to me that FORMAT is ... > extremely unlispy, even more so than loop (if such a comparison is ... > threatening to transform my Lisp programs into C evilness... ...
(comp.lang.lisp)