DMCA

Formalising FinFuns -- generating code for functions as data from Isabelle/HOL (2009)

by Andreas Lochbihler
Venue:OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:3 - 1 self