|
Robert Harper.
Dagstuhl 10th Anniversary Symposium, Saarbruecken, Germany, August, 2000.
A good discussion of types, safety etc.
The focus is on refinement types, typed target languages and certifying compilers.
From the Fox Project (@CMU), which concentrates on the development of language support for building safe, highly composable, and reliable systems. Plenty on interesting stuff available.
The project was mentioned by Bryn Keller on the discussion group.
Posted to theory by Ehud Lamm on 2/16/02; 12:55:31 AM
|
The Practice of Type Theory in Programming Languages
