Recursive data type - PDFSEARCH.IO - Document Search Engine

Recursive data type
Results: 44

#	Item
1	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: www.acm.org Language: English - Date: 2016-06-08 12:49:34 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
2	XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda Add to Reading List Source URL: gnome.inrialpes.fr Language: English - Date: 2014-10-07 08:54:38 Software engineering Logic Type theory Computer programming Data types Functional languages Recursive data type Monad Type inference FO XQuery Inference
3	XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-08 05:48:48 Software engineering Computer programming Computing Functional languages Data types Query languages Knowledge representation Functional programming XQuery Recursive data type Tree Well-formed formula
4	Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic types Add to Reading List Source URL: tomasp.net Language: English Software engineering Computer programming Computing Data types Functional languages Type theory Recursion Functional programming OCaml Caml Recursive data type ML
5	Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-21 03:21:54 Software engineering Type theory Computing Computer programming Data types Recursion Polymorphism Recursive data type Eval Type inference Type system ECL programming language
6	Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-03-02 06:43:58 Mathematical logic Logic Theoretical computer science Type theory Automated theorem proving Logic programming Data types Unification Recursive data type Substitution Corecursion First-order logic
7	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
8	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
9	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
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 Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-12 20:36:27 Data types Type theory Functional languages Functional programming Procedural programming languages C++ classes Recursive data type ML Parameter Type inference Monad Enumerated type