Sign in
Discriminative sum types locate the source of type errors.
Matthias Neubauer
Peter Thiemann
Published in:
SIGPLAN Notices (2003)
Keyphrases
</>