"Typed Contracts for Functional Programming."

Ralf Hinze, Johan Jeuring, Andres Löh (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics