Lectures
Motivation
Úvod
Motivation
Introduction to operational semantics
Lecture 2
Operational Semantics
Lecture 3
Semantics and typing of a simple imperative language
Lecture 4
Semantics and typing properties
Lecture 5
Lambda calculus
Lecture 6
Mathematica - Functional Programming
Lecture 7
(
Lecture 7 - Mathematica notebook
)
Denotational semantics
Lecture 8
Advanced types
Lecture 9
Naming and state
Lecture 10
Control and data
Lecture 11
Monads
Lecture 12
Presentation of HW solutions, Q/A