Phantom Types and Subtyping

Matthew Fluet, Riccardo Pucella

We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mod…