Generalized algebraic data types and object-oriented programming.

Andrew Kennedy, Claudio V. Russo

Browse the full OOPSLA paper archive.