![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 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](https://www.pdfsearch.io/img/41eccabc163541e0756389d62a13aa58.jpg) Date: 2015-01-25 16:18:54Type 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, GermanyAdd to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source Website File Size: 117,29 KBShare Document on Facebook
|