A Type-Correct, StackSafe, Provably Correct, Expression Compiler in Epigram (2006)

by James Mckinna, Joel Wright
Venue:In Journal of Functional Programming