Back to Results
First PageMeta Content
Type theory / Data types / Type system / Abstraction / Abstract data type / Type safety / ALGOL 68 / Programming language / Lambda calculus / Software engineering / Computing / Programming language theory


Technical Report UCAM-CL-TR-569 ISSNNumber 569
Add to Reading List

Document Date: 2005-03-28 16:57:58

Open Document

File Size: 762,13 KB

Share Result on Facebook
UPDATE