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

Alexander Krauss krauss at in.tum.de
Tue Jul 8 12:19:00 CEST 2008

Next message: [Club2] Fr. 18.7., 11h: Lukas Bulwahn
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Next message: [Club2] Fr. 18.7., 11h: Lukas Bulwahn
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Club2 mailing list