This is an introductory course on the foundations of programming languages. The central organizing principle is the identification of language features with types. The theory of programming languages, ...
I may or may not write and publish a short e-book about Markdown sometime this year, most likely as part of a monthly focus.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results