Login / Signup

Shared subtypes: subtyping recursive parametrized algebraic data types.

Ki Yung AhnTim Sheard
Published in: Haskell (2008)
Keyphrases