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