Imperative functional programming with Isabelle/HOL (2008)

by L Bulwahn, A Krauss, F Haftmann, L Erkök, J Matthews
Venue:Proc. of the 21th International Conference on Theorem Proving in Higher Order Logics (TPHOL), volume 5170 of Lecture Notes in Computer Science