![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/7ce8466ed428fd8c5487eb9c12c3db02.jpg) 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 Website File Size: 344,49 KBShare Document on Facebook
|