First Page | Document Content | |
---|---|---|
Date: 2013-10-12 04:58:09Computer programming Software engineering Declarative programming Recursion Functional programming Computability theory Theoretical computer science Programming paradigms Algebraic data type Fold Pattern matching Conditional | Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UKAdd to Reading ListSource URL: community.haskell.orgDownload Document from Source WebsiteFile Size: 65,75 KBShare Document on Facebook |
DSLs in Haskell Ryan Newton Back-endDocID: 1ru0C - View Document | |
PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-LezamaDocID: 1rduU - View Document | |
Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex GerdesDocID: 1qy7b - View Document | |
Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of MaineDocID: 1qhqk - View Document | |
PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-LezamaDocID: 1pYnx - View Document |