zhiyuanshi / pl-latex-templates

LaTeX templates for programming language research

pl-latex-templates

LaTeX templates for programming language research

Okay! So what do they look like?

I provide two types of templates:

• slides: see slides.pdf (which uses the beamer class)
• paper: see paper.pdf

Notable packages

• Code listing: the Listings package
• Typesetting inference rules: the mathpartir package by Didier Rémy

Macros

I have also pre-defined macros for very common PL constructs such as lambda and substitution. See macros/pl-theory.tex.

Typography

• Text: LaTeX default
• Math: I use the beautiful AMS Euler designed by Hermann Zapf and Donald Knuth.

Usage

1. $ git clone https://github.com/zhiyuanshi/pl-latex-templates.git
2. Start editing slides.tex or paper.tex

Contribution

Contribution is very welcome. Please submit pull requests!