[Club2] Florian - Fr. 6.7. 11 Uhr (Turing)

[Alexander Krauss]

Functional programming with Isabelle/HOL

Recently, things in Isabelle/HOL have been pushed forward in order to
narrow the gap between Isabelle/HOL and functional programming.  As
crucial part of this scenario, a new code generator framework has been
implemented.  We illustrate some of its underlying principles and
discuss their consequences.


Danach bei Bedarf kurze Gruppenbesprechung.

Gruß
Alex