Login / Signup

Modular typechecking for hierarchically extensible datatypes and functions.

Todd D. MillsteinColin BlecknerCraig Chambers
Published in: ACM Trans. Program. Lang. Syst. (2004)
Keyphrases