Beamer/LaTeX Examples
Several
people have asked what Beamer
theme I use for my presentations, or how I do various fancy
graphical things with TikZ (by far the best way
to do graphics in LaTeX). Here are the sources for four talks:
- “Practical
Programming with Substructural Types” (Thesis defense,
2012):
- “Taking Part-Time Programmers Seriously” (OBT’12):
- “A Theory of Substructural Types and Control” (OOPSLA’11):
- “Practical Affine Types” (POPL’11):
Home