"A very modal model of a modern, major, general type system."

Andrew W. Appel et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics