Back to Results
First PageMeta Content
Type theory / Functional languages / Logic in computer science / Lambda calculus / Dependent ML / Peter B. Andrews / International Conference on Functional Programming / Dependent type / ATS / Software engineering / Programming language theory / Computing


Hongwei Xi Curriculum Vitæ February 25, 2010
Add to Reading List

Document Date: 2010-02-25 19:00:37

Open Document

File Size: 90,64 KB

Share Result on Facebook
UPDATE