Back to Results
First PageMeta Content
Type theory / Functional languages / Procedural programming languages / Data types / C++ / Standard ML / Type system / Type safety / Programming language / Software engineering / Computing / Programming language theory


1 Under consideration for publication in J. Functional Programming
Add to Reading List

Document Date: 2007-04-11 12:18:52

Open Document

File Size: 497,15 KB

Share Result on Facebook
UPDATE