"Building and using pluggable type systems."

Michael D. Ernst, Mahmood Ali (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics