A type-correct, stack-safe, provably correct, expression compiler (2006)

Cached

Download Links

by James Mckinna , Joel Wright
Venue:in Epigram. Submitted to the Journal of Functional Programming
Citations:15 - 0 self