A very modal model of a modern, major, general type system.

Andrew W. Appel, Paul-Andr Mellis, Christopher D. Richards, Jrme Vouillon

Browse the full POPL paper archive.