Semantic types: a fresh look at the ideal model for types.

Jerome Vouillon, Paul-Andr Mellis

Browse the full POPL paper archive.