obt2017

Referreed talk abstract, reviews, and eventual slides for my talk at OBT on 21 January 2017, at POPL'17 in Paris.

Name		Name	Last commit message	Last commit date
Latest commit History 66 Commits
.gitignore		.gitignore
README.md		README.md
abbrvnat.bst		abbrvnat.bst
abstract.tex		abstract.tex
bibliography.bib		bibliography.bib
dynamics-obt17.tex		dynamics-obt17.tex
examples.tex		examples.tex
intro.tex		intro.tex
macros.tex		macros.tex
reviews.txt		reviews.txt
sigplanconf.cls		sigplanconf.cls
slides.key		slides.key
ts.tex		ts.tex

Navigation Menu