Back to Results
First PageMeta Content
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


PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama
Add to Reading List

Document Date: 2016-06-08 12:49:34

Open Document

File Size: 344,49 KB

Share Result on Facebook
UPDATE