Back to Results
First PageMeta Content
Type theory / Data types / Formal methods / Functional programming / Logic in computer science / Symbol / Satisfiability modulo theories / HindleyMilner type system / Geoff Sutcliffe / Xi / Polymorphism / Type variable


TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany
Add to Reading List

Document Date: 2015-01-25 16:18:54

Open Document

File Size: 117,29 KB

Share Result on Facebook