Skip to content

Shared subtypes: subtyping recursive parametrized algebraic data types.

Ki Yung Ahn, Tim Sheard

Year2008
ProceedingsHaskell

Browse the full HASKELL paper archive.