First Page | Document Content | |
---|---|---|
Date: 2008-07-29 03:27:17Software engineering Theoretical computer science Data types Formal methods Algorithms Hindley–Milner Unification Type system Generic programming Mathematics Type theory Applied mathematics | INCREMENTAL POLYMORPHICAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source WebsiteFile Size: 1,21 MBShare Document on Facebook |