Back to Results
First PageMeta Content
Type theory / HindleyMilner type system / Generalized algebraic data type / Type inference / Type class / System F / Unification / Type system / Glasgow Haskell Compiler / Haskell / Monad / Principal type


Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu
Add to Reading List

Document Date: 2016-01-08 10:06:08


Open Document

File Size: 618,62 KB

Share Result on Facebook