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):
  • LaTeX source (tar.gz, 2.7 MiB)
  • PDF (3.9 MiB)
  • abstract and paper page
• “Taking Part-Time Programmers Seriously” (OBT’12):
  • LaTeX source (tar.gz, 363 KiB)
  • PDF (288 KiB)
  • abstract page
• “A Theory of Substructural Types and Control” (OOPSLA’11):
  • LaTeX source (tar.gz, 4.6 MiB)
  • PDF (6.4 MiB)
  • abstract and paper page
• “Practical Affine Types” (POPL’11):
  • LaTeX source (tar.gz, 153 KiB)
  • PDF (396 KiB)
  • abstract, paper, etc. page

---

Home