Back to Results
First PageMeta Content
Mathematical logic / Type system / Unification / Admissible rule / Type inference / Symbol / Entailment / Generic programming / Hindley–Milner / Type theory / Logic / Mathematics


Document Date: 2008-09-15 04:36:07

Open Document

File Size: 227,43 KB

Share Result on Facebook
UPDATE