ELTE IK fejléc
Navigációs hivatkozások átugrása
About us
Studies
EIT ICT Labs Master School
International application
Conferences
Research
Contact
 
 
Navigációs hivatkozások átugrása
TFP 2009 & CEFP 2009
Tutorials
Call for papers
Call for participation
Important dates
Committee
Submissions
Organization
Registration
Programme
Venue
Photos
CEFP 2013
DACH 2014

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)