"Phantom Types and Subtyping"

Matthew Fluet, Riccardo Pucella (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics