Polymorphic subtyping in O Haskell

Johan Nordlander. Polymorphic subtyping in O Haskell. Science of Computer Programming, 43(2-3):93-127, 2002. [doi]

Abstract

Abstract is missing.