Formalising finfuns — generating code for functions as data from Isabelle/HOL (2009)

by Andreas Lochbihler
Venue:of Lecture Notes in Computer Science