GitHub - explorable-viz/popl2022

POPL 2022 submission.

Name		Name	Last commit message	Last commit date
Latest commit History 3,258 Commits
.github/workflows		.github/workflows
Review		Review
Talk		Talk
appendix		appendix
fig		fig
fluid		fluid
other-src		other-src
sec		sec
tex-common @ 6acbf17		tex-common @ 6acbf17
tex		tex
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitmodules		.gitmodules
ACM-Reference-Format.bst		ACM-Reference-Format.bst
README.md		README.md
abstract.tex		abstract.tex
acmart.cls		acmart.cls
all-versions.sh		all-versions.sh
anonymised-full.tex		anonymised-full.tex
anonymised.tex		anonymised.tex
arXiv.sh		arXiv.sh
build.sh		build.sh
collate-examples.sh		collate-examples.sh
final-full.pdf		final-full.pdf
final-full.tex		final-full.tex
final.pdf		final.pdf
final.tex		final.tex
main.tex		main.tex
meeting-notes.md		meeting-notes.md
post-process.sh		post-process.sh
sed-commands		sed-commands

Provide feedback