Back to Results
First PageMeta Content
Type theory / Software engineering / Programming language theory / Computer programming / Standard ML / System F / ML / Type constructor / Polymorphism / Kind / System U / Type inference


From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract
Add to Reading List

Document Date: 2005-10-01 03:14:51


Open Document

File Size: 206,82 KB

Share Result on Facebook