\documentclass[acmsmall]{acmart}

\setcopyright{rightsretained}
\copyrightyear{2021}
\acmYear{2021}
\acmConference[HATRA '21]{Human Aspects of Types and Reasoning Assistants}{October 2021}{Chicago, IL}

\begin{document}

\title{The Goals of the Luau Type System}

\author{Andy Friesen}
\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}
