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

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