First Page | Document Content | |
---|---|---|
Date: 2016-06-08 14:54:18Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function | PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-LezamaAdd to Reading ListSource URL: src.acm.orgDownload Document from Source WebsiteFile Size: 344,49 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 |