Type-safe runtime code generation: accelerate to LLVM.

Trevor L. McDonell Manuel M. T. Chakravarty Vinod Grover Ryan R. Newton

Published in: Haskell (2015)

Keyphrases

code generation
application development
code generator
formal specification
software reuse
design process
data integration