A code generator framework for Isabelle/HOL (2007)

by Florian Haftmann, Tobias Nipkow
Venue:Department of Computer Science, University of Kaiserslautern