LaTeX/Sample LaTeX documents

General examples

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

↑Jump back a section

Semantics of Programming Languages

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
↑Jump back a section
Last modified on 18 December 2012, at 16:57