C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Compiling functional types to relational specifications for low level imperative code.
Nick Benton
Nicolas Tabareau
Published in:
TLDI (2009)
Keyphrases
</>
low level
high level
relational databases
control flow
visual cues
higher level
relational data
visual information
high level abstractions
code generation
low level features
database
visual features
semantic concepts
data flow
source code
relational learning
data model
image retrieval
knowledge base