[Club2] Fr. 18.7., 11h: Lukas Bulwahn

[Tobias Nipkow]

Und ich werde danach ueber NBE vortragen. Beides fuer TPHOLs. Damit es 
zeitlich nicht zu knapp wird (evtl wollen wir ja noch ueber die 
Vortraege reden) wuerde ich gerne schon um 10:30 beginnen.

Tobias

Alexander Krauss schrieb:
> Am Freitag den 18.7. wird Lukas über unsere Arbeiten zur Heap-Monade 
> vortragen:
> 
>      "Imperative Functional Programming in Isabelle/HOL"
> 
> im Turing (00.09.055).
> _______________________________________________
> Club2 mailing list
> Club2 at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/club2