![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 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](https://www.pdfsearch.io/img/b5eb095319d72f41b13470027fe9f4be.jpg) Date: 2016-06-08 12:49:34Software 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: www.acm.orgDownload Document from Source Website File Size: 344,49 KBShare Document on Facebook
|