Tag-Free Combinators for Binding-Time Polymorphic Program Generation.

Peter Thiemann Martin Sulzmann

Published in: FLOPS (2010)

Keyphrases

static analysis
database
computer programs
programming environment
control program
real time
databases
information retrieval
database systems
logic programs
generation process
program execution
social tagging systems