Lambda kalkul a funkcionální programování Mgr. Jan Laštovička, Ph.D.

Texty k přednáškám

• 24. března, Funkcionální datové struktury
• 31. března, Kombinátorová logika a bezpředmětové programování
• 7. dubna, Teorie kategorií pro programátory
• 14. dubna, Monády ve funkcionálním programování
• 28. dubna, Systémy typovaných lambda kalkulů (část první)