Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types.

Jeevana Priya Inala Xiaokang Qiu Benjamin S. Lerner Armando Solar-Lezama

Published in: CoRR (2015)

Keyphrases

data types
type checking
data model
data structure
database management systems
user defined
database systems
abstract data types
back end
data mining algorithms
database server
neural network
website
program synthesis
query language
high dimensional data
multiple types
microsoft sql server
data formats