"Gradual Typing for Annotated Type Systems."

Peter Thiemann, Luminous Fennell (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics