Link to my introductory slides.

This commit is contained in:
François Pottier 2017-09-21 11:06:57 +02:00
parent 7b95f194ea
commit 906c153fb9

View file

@ -22,6 +22,7 @@ There is a 15-minute break in the middle of each lecture.
This course presents the principles and formalisms that underlie many of This course presents the principles and formalisms that underlie many of
today's typed functional programming languages. today's typed functional programming languages.
(Here are some [introductory slides](slides/fpottier-00.pdf).)
The course is made up of four parts and can be split after the first two The course is made up of four parts and can be split after the first two
parts. parts.