Back to Results
First PageMeta Content
Type theory / Data types / Functional programming / Functional languages / Dependently typed programming / Dependent type / Lock / Generalized algebraic data type / Concurrent computing / Computing / Software engineering / Programming language theory


Fundamenta Informaticae XX[removed]–31 1 IOS Press
Add to Reading List

Document Date: 2010-07-20 09:14:49

Open Document

File Size: 248,30 KB

Share Result on Facebook
UPDATE