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

Informace k předmětu ve Stagu
První půlka předmětu

Texty k přednáškám

• 25. března 2026, Od lambda kalkulu k Haskellu
• 1. dubna 2026, Teorie kategorií pro programátory
• 8. dubna 2026, Funktory a přirozené transformace
• 29. dubna 2026, Monády ve funkcionálním programování

Samostudium (zatím verze z minulého roku):

• Systémy typovaných lambda kalkulů (část první)
• Systémy typovaných lambda kalkulů (část druhá)

Literatura k samostudiu (od odstavce The λ-cube na straně 88 až po konec kapitoly 5.1 na straně 96) :

• Henk Barendregt: Lambda Calculi with Types (1992)