|
Data
|
Temat
|
Prelegent
|
01.03.2010
|
Spotkanie organizacyjne
|
|
|
08.03.2010
|
Disciplined Disciple Compiler (DDC)
|
Bartosz Ćwikłowski
|
|
15.03.2010
|
Formal Certification of a Compiler Back-End or: Programming a Compiler with a Proof Assistant
|
Filip Sieczkowski
|
|
22.03.2010
|
Iteratee IO: Safe, Practical, Declarative Input Processing
|
Maciej Kotowicz
|
|
26.04.2010
|
A Core Calculus for Scala Type Checking
|
Jakub Korczyński
|
|
10.05.2010
|
Reactive Functional Programming
|
Bartosz Dolecki
|
|
17.05.2010
|
Eager Normal Form Bisimulation
|
Klara Zielińska
|
|
24.05.2010
|
Eager Normal Form Bisimulation, c.d.
|
Klara Zielińska
|
|
31.05.2010
|
Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell
|
Bartosz Ćwikłowski
|
|
31.05.2010
|
Separation Logic
|
Filip Sieczkowski
|
|
07.06.2010
|
Tangible Functional Programming
|
Bartosz Dolecki
|
|
14.06.2010
|
|
Jakub Korczyński
|
|
14.06.2010
|
|
Maciej Kotowicz
|