Type-safe runtime code generation: accelerate to LLVM.

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

Browse the full HASKELL paper archive.