First−Class Phantom Types

Bibliographic Details
Main Authors: Cheney, J, Hinze, R
Format: Report
Published: Cornell University 2003