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

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Tue Jan 1 10:36:05 EST 2008

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:


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.


Posted on the users mailing list.