Certified Run-time Code Generation (2002)

by Frederick M. Smith
Venue:JOURNAL OF FUNCTIONAL PROGRAMMING
Citations:8 - 1 self