[plt-scheme] Statically typed Lisp-like language?

From: Robby Findler (robby at cs.uchicago.edu)
Date: Tue Jan 1 11:43:02 EST 2008

Don't forget Philippe Meunier's dissertation, the first one that
exploited contracts well.

There's also been stuff here and there that is important for the
development of the ideas but that weren't typed lisps per se:
Henglein's work for example.


On Jan 1, 2008 9:36 AM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> There have been plenty of statically-typed Lisp systems.  The earliest
> I know of, at least one of any quality or significance, is that by
> Robert Cartwright:
> http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA045722
> In the early 1990s, there was a long line of research at Rice
> (initiated again by Cartwright and his students, and subsequently
> pursued by Felleisen and his students) on typed Lisps -- the students
> in question are Fagan, Wright and Flanagan.  Wright's thesis has the
> most insight into what it takes to create a meaningful type system for
> a language like Lisp.
> This work still continues today, personified by Tobin-Hochstadt and
> Matthews, working with Felleisen and Findler.
> Shriram
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.