summaryrefslogtreecommitdiffstats
path: root/transp-inf110-02-typage.tex
Commit message (Expand)AuthorAgeFilesLines
* Tasks in a typing system.David A. Madore2023-11-151-1/+45
* More examples of languages with interesting type systems.David A. Madore2023-11-151-4/+47
* Use of typing systems beyond value control.David A. Madore2023-11-151-0/+36
* Minor clarification.David A. Madore2023-11-141-2/+3
* Generalities about polymorphism.David A. Madore2023-11-141-14/+64
* Basic set of slides on typing.David A. Madore2023-11-141-0/+296