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
|