%%% -*-LaTeX-*-
%%% ====================================================================
%%%  @LaTeX-file{
%%%     author-1        = "Preston Briggs",
%%%     author-2        = "Nelson H. F. Beebe",
%%%     version         = "2.156",
%%%     date            = "16 April 2025",
%%%     time            = "12:51:40 MDT",
%%%     filename        = "toplas.ltx",
%%%     address-1       = "Tera Computer Company
%%%                        2815 Eastlake East
%%%                        Seattle, WA 98102
%%%                        USA",
%%%     address-2       = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone-1     = "+1 206 325-0800)",
%%%     telephone-2     = "+1 801 581 5254",
%%%     URL-2           = "https://www.math.utah.edu/~beebe",
%%%     checksum        = "53645 95 330 3542",
%%%     email-1         = "preston@tera.com (Internet)",
%%%     email-2         = "beebe@math.utah.edu, beebe@acm.org,
%%%                        beebe@computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, BibTeX, ACM Transactions on
%%%                        Programming Languages and Systems, TOPLAS",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a LaTeX wrapper file for typesetting
%%%                        toplas.bib, the bibliography of ACM
%%%                        Transactions on Programming Languages and
%%%                        Systems (TOPLAS).
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

\documentstyle[bibmods,bibnames,path,showtags,twocolumn]{article}

\ifx \undefined \circled \def \circled #1{(#1)}\fi
\ifx \undefined \reg \def \reg {\circled{R}}\fi

\pagestyle{headings}

\title{A Complete Bibliography of Publications in {\em ACM
       Transactions on Programming Languages and
       Systems (TOPLAS)\/}
}

\author{%
        Preston Briggs\\
        Tera Computer Company\\
        2815 Eastlake East\\
        Seattle, WA 98102\\
        USA\\[\medskipamount]
        Tel: +1 206 325-0800\\
        E-mail: \protect\path=preston@tera.com=\\[\bigskipamount]
    and\\[\bigskipamount]
        Nelson H. F. Beebe\\
        University of Utah\\
        Department of Mathematics, 110 LCB\\
        155 S 1400 E RM 233\\
        Salt Lake City, UT 84112-0090\\
        USA\\[\medskipamount]
        Tel: +1 801 581 5254\\[\medskipamount]
        E-mail: \protect\path=beebe@math.utah.edu=,
                \protect\path=beebe@acm.org=,\\
                \hphantom{E-mail:\ }
                \protect\path=beebe@computer.org= (Internet)\\
        WWW URL: \protect\path=https://www.math.utah.edu/~beebe/=
}

\date{16 April 2025 \\
Version 2.156}
\begin{document}
\maketitle
\nocite{*}
\bibliographystyle{is-alpha}

\section*{Title word cross-reference}

\begin{raggedright}
\parskip = \baselineskip
\input{\jobname.twx}
\end{raggedright}

\bibliography{\jobname}
\end{document}
