First-Class Phantom Types

Cheney, James and Hinze, Ralf

institution	Cornell University
year	2003

people	Ralf Hinze
activities	Algebra of Programming