Skeleton HATRA 2021 position paper

papers/.gitignore

@@ -0,0 +1,9 @@
+*.aux
+*.bbl
+*.blg
+*.dvi
+*.fdb_latexmk
+*.fls
+*.log
+*.out
+*.xcp

papers/hatra21/README.md

@@ -0,0 +1,40 @@
+# HATRA 21 position paper
+
+A position paper on Luau for [Human Aspects of Types and Reasoning Assistants](https://2021.splashcon.org/home/hatra-2021) (HATRA) 2021.
+
+## Installing latexmk
+
+First install  basictex
+```
+sudo brew install basictex
+```
+
+Then install the dependencies for the paper (sigh, by hand):
+
+```
+sudo tlmgr update --all
+sudo tlmgr install acmart
+sudo tlmgr install iftex
+sudo tlmgr install xstring
+sudo tlmgr install environ
+sudo tlmgr install totpages
+sudo tlmgr install trimspaces
+sudo tlmgr install manyfoot
+sudo tlmgr install ncctools
+sudo tlmgr install comment
+sudo tlmgr install balance
+sudo tlmgr install preprint
+sudo tlmgr install latexmk
+```
+
+## Building the paper
+
+To build the paper:
+```
+latexmk --pdf hatra21
+```
+
+To run latexmk in watching mode (where it rebuilds the PDF on each change):
+```
+latexmk --pdf --pvc hatra21
+```

papers/hatra21/bibliography.bib

@@ -0,0 +1,7 @@
+@Misc{Luau,
+  author =    {Roblox},
+  title =        {The Luau Programming Language},
+  year = 2020,
+  url = {https://luau-lang.org},
+}
+

papers/hatra21/hatra21.tex

@@ -0,0 +1,36 @@
+\documentclass[acmsmall]{acmart}
+
+\begin{document}
+
+\title{The Goals of the Luau Type System}
+
+\author{Alan Jeffrey}
+\author{Other People?}
+\affiliation{
+  \institution{Roblox}
+  \city{San Mateo}
+  \state{CA}
+  \country{USA}
+}
+
+\begin{abstract}
+  A position paper about the goals Luau type system.
+\end{abstract}
+
+\maketitle
+
+\section{Introduction}
+
+The Luau Programming Language~\cite{Luau}
+is the scripting language used by developers of Roblox
+experiences.
+
+\section{Infallible types}
+\section{Strict types}
+\section{Nonstrict types}
+\section{Conclusions}
+
+\bibliographystyle{ACM-Reference-Format}
+\bibliography{bibliography}
+
+\end{document}