Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Typing and termination. | David A. Madore | 2023-11-15 | 1 | -0/+41 | |
| | ||||||
* | Tasks in a typing system. | David A. Madore | 2023-11-15 | 1 | -1/+45 | |
| | ||||||
* | More examples of languages with interesting type systems. | David A. Madore | 2023-11-15 | 1 | -4/+47 | |
| | ||||||
* | Use of typing systems beyond value control. | David A. Madore | 2023-11-15 | 1 | -0/+36 | |
| | ||||||
* | Minor clarification. | David A. Madore | 2023-11-14 | 1 | -2/+3 | |
| | ||||||
* | Generalities about polymorphism. | David A. Madore | 2023-11-14 | 1 | -14/+64 | |
| | ||||||
* | Basic set of slides on typing. | David A. Madore | 2023-11-14 | 1 | -0/+296 | |