Skip to main content

First−Class Phantom Types

James Cheney and Ralf Hinze

Institution
Cornell University
Year
2003