Programme

Warm-up: 21 May - 23 May, Budapest

• Clean (ELTE)
• F# (ELTE)
• Erlang (ELTE)

Excursion: 24 May

CEFP: 25 May - 30 May, Komarom

• Francesco Cesarini:OTP Design Patterns
• Rinus Plasmeijer, Pieter Koopman: An effective methodology for defining consistent semantics of complex systems
• Matthew Fluet: Programming in Manticore, a heterogenous parallel language
• Prof. Ralf Hinze: Reasoning about codata
• Prof. John Hughes: QuickCheck, with a focus on industrial applications
• Andrew Kennedy: Types for units-of-measure: theory and practice
• Granicz Adam: Advanced F# Programming
• Péter Diviánszky : Implementing pointer algorithms in Haskell
• Zoltán Porkoláb : Functional Programming with C++ Template Metaprograms
  

The detailed programme (.pdf)

TFP: 2 June - 4 June, Komarom

The detailed programme (.pdf)