Project: Derivation of program properties from polymorphic types in modern functional languages
(German: Ableitung von Programmeigenschaften aus polymorphen Typen in modernen funktionalen Sprachen)
The project has moved to the University of Bonn.
See the new project page there.
Last Updated: September 2009,
Janis Voigtlaender.