Back to Results
First PageMeta Content
Computing / OCaml / Coq / Type system / Type variable / Intuitionistic type theory / ML / ATS / Monad / Software engineering / Programming language theory / Type theory


Document Date: 2006-12-28 16:47:05


Open Document

File Size: 217,99 KB

Share Result on Facebook
UPDATE