LaTeX/Sample LaTeX documents

< LaTeX

General examplesEdit

Tutorial examples, books, and real world uses of LaTeX.

Semantics of Programming LanguagesEdit

Articles on programming language research, from syntax to semantics, including source code listings, type rules, proof trees, and even some category theory. A good place to start is Mitchell Wand's Latex Resources, including a sample file that also demonstrates Didier Remy's mathpartir package. The following are latex sources of some articles, books, or presentations from this field:


Previous: Package Reference Index Next: Index
Read in another language