Mis experiencias en Utrecht Haskell Summer School

Charla a modo informal donde os contaré sobre mis experiencias en la edición del pasado julio del Utrecht Haskell Summer School. Además de contaros de la experiencia intentaré hacer un resumen de los temas que más me llamaron la atención sin que llegue a ser una charla técnica, la idea más bien es hablar del curso y de los contenidos de forma informal y entre cervezas ;)

Los contenidos de los que os quiero hablar son:

• Lambda Calculus
• Advanced Type Systems
• Generic Programming
• Fusion
• Monads and IO
• Data structures
• Monad transformers
• Lenses
• Template Haskell, persistency
• GADTs
• Lazy evaluation
• Concurrency
• Coq and Agda

¡Nos vemos!