"Extending Dylan's type system for better type inference and error detection."

Hannes Mehnert (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics