Types and Semantics for Extensible Data Types.

Cas van der Rest, Casper Bach Poulsen

Browse the full APLAS paper archive.