GitHub - clef-men/article_zoo

Name		Name	Last commit message	Last commit date
Latest commit History 167 Commits
figures		figures
images		images
.gitignore		.gitignore
ACM-Reference-Format.bst		ACM-Reference-Format.bst
Makefile		Makefile
abstract.md		abstract.md
abstract.tex		abstract.tex
acknowledgments.tex		acknowledgments.tex
acmart.cls		acmart.cls
arxiv.sh		arxiv.sh
conclusion.tex		conclusion.tex
future_work.tex		future_work.tex
introduction.tex		introduction.tex
macros.sty		macros.sty
main.bib		main.bib
main.tex		main.tex
memory_safety.tex		memory_safety.tex
mycomments.sty		mycomments.sty
ocaml.tex		ocaml.tex
persistent.tex		persistent.tex
physical_equality.tex		physical_equality.tex
popl26-response-draft.md		popl26-response-draft.md
popl26-reviews-and-comments.md		popl26-reviews-and-comments.md
rcfd.tex		rcfd.tex
related_work.tex		related_work.tex
revision-requirements.md		revision-requirements.md
saturn.tex		saturn.tex
std.tex		std.tex
structural_equality.tex		structural_equality.tex
zoo.tex		zoo.tex
zoo_features.tex		zoo_features.tex