Imperative functional programming with Isabelle/HOL (0)

by L Bulwahn, A Krauss, F Haftmann, L Erkök, J Matthews
Venue:In: Theorem Proving in Higher Order Logics, Lecture