1![PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama](https://www.pdfsearch.io/img/b5eb095319d72f41b13470027fe9f4be.jpg) | Add to Reading ListSource URL: www.acm.orgLanguage: English - Date: 2016-06-08 12:49:34
|
---|
2![XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda](https://www.pdfsearch.io/img/68219798ad993ac67a8ef627ea61196e.jpg) | Add to Reading ListSource URL: gnome.inrialpes.frLanguage: English - Date: 2014-10-07 08:54:38
|
---|
3![XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert](https://www.pdfsearch.io/img/179f645002c9967bff402c2f5505148d.jpg) | Add to Reading ListSource URL: tyrex.inria.frLanguage: English - Date: 2015-12-08 05:48:48
|
---|
4![Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types
Generic types Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types
Generic types](https://www.pdfsearch.io/img/458d686ceb121798ccd25df700613dac.jpg) | Add to Reading ListSource URL: tomasp.netLanguage: English |
---|
5![Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper](https://www.pdfsearch.io/img/3a52cfb7046b3f2743398b01e9ca4715.jpg) | Add to Reading ListSource URL: www.idt.mdh.seLanguage: English - Date: 2013-11-21 03:21:54
|
---|
6![Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette](https://www.pdfsearch.io/img/ec4ee5457b14b80d44cc0f34dc17c2c1.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2016-03-02 06:43:58
|
---|
7![PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama](https://www.pdfsearch.io/img/7ce8466ed428fd8c5487eb9c12c3db02.jpg) | Add to Reading ListSource URL: src.acm.orgLanguage: English - Date: 2016-06-08 14:54:18
|
---|
8![The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon](https://www.pdfsearch.io/img/506a72f35c4daee1ed432deeabe74601.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-07-11 12:18:50
|
---|
9![Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen](https://www.pdfsearch.io/img/877908c7c27d9ad95805259a7126fb27.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
10![CSE341: Programming Languages Winter 2013 Unit 2 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an CSE341: Programming Languages Winter 2013 Unit 2 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an](https://www.pdfsearch.io/img/8ed973df48c088de6deee1a74d32273b.jpg) | Add to Reading ListSource URL: courses.cs.washington.eduLanguage: English - Date: 2013-01-12 20:36:27
|
---|