Extensible algebraic datatypes with defaults (2001)

by Matthias Zenger, Martin Odersky
Venue:In Proceedings of the International Conference on Functional Programming