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

[Florian Haftmann]

Wegen Terminkollision wird der Vortrag auf 10 Uhr vorverlegt.

Florian

> 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.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: florian.haftmann.vcf
Type: text/x-vcard
Size: 654 bytes
Desc: not available
Url : https://mailmanbroy.informatik.tu-muenchen.de/mailman/private/club2/attachments/20070704/f8c20ee0/attachment.vcf 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 185 bytes
Desc: OpenPGP digital signature
Url : https://mailmanbroy.informatik.tu-muenchen.de/mailman/private/club2/attachments/20070704/f8c20ee0/attachment.pgp