Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
1	DSLs in Haskell Ryan Newton Back-end Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-08-07 07:28:53 Software engineering Computer programming Declarative programming Functional languages Functional programming Data types Type theory Compilers Template Haskell Haskell Generalized algebraic data type Metaprogramming
2	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
3	Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2011-06-24 04:56:27 Software engineering Declarative programming Computing Data types Functional languages Type theory Functional programming Generic programming Dependently typed programming Generalized algebraic data type ATS Haskell
4	Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 21:38:44 Mathematics Data Computing Cartography Geographic data and information Formal methods Geographic information systems Algebra Abstract data type Spatial analysis Algebraic specification Addition
5	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
6	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
7	System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-06 17:30:04 Type theory Data types Functional programming Dependently typed programming Generalized algebraic data type Type class Valuation
8	Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2016-01-08 10:06:08 Type theory HindleyMilner type system Generalized algebraic data type Type inference Type class System F Unification Type system Glasgow Haskell Compiler Haskell Monad Principal type
9	HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Convex analysis Mathematical optimization Convex optimization Operations research Variational analysis Subgradient method Subderivative Ellipsoid method Convex function Generalized algebraic data type Convex set Map
10	A Gentle Introduction to Haskell 98 Paul Hudak John Peterson Yale University Add to Reading List Source URL: www.haskell.org Language: English - Date: 2015-02-01 22:32:43 Type theory Data types Functional programming Functional languages Literate programming Monad Haskell Algebraic data type Pattern matching Kind Polymorphism Type inference