Polymorphic subtyping in O’Haskell (2002)

by J Nordlander
Venue:Sci. Comput. Program