POPL2018

Dec 7, 2018

0f0575b · Dec 7, 2018

Name	Name	Last commit message	Last commit date
parent directory ..
review	review	Upload	Dec 7, 2018
sections	sections	Upload	Dec 7, 2018
ACM-Reference-Format.bst	ACM-Reference-Format.bst	Upload	Dec 7, 2018
Makefile	Makefile	Upload	Dec 7, 2018
acmart.cls	acmart.cls	Upload	Dec 7, 2018
mathpartir.sty	mathpartir.sty	Upload	Dec 7, 2018
paper.bib	paper.bib	Upload	Dec 7, 2018
paper.tex	paper.tex	Upload	Dec 7, 2018
paper_utility.tex	paper_utility.tex	Upload	Dec 7, 2018
submit.txt	submit.txt	Upload	Dec 7, 2018

Provide feedback