\begin{thebibliography}{2}
\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\expandafter\ifx\csname urlstyle\endcsname\relax
  \providecommand{\doi}[1]{doi: #1}\else
  \providecommand{\doi}{doi: \begingroup \urlstyle{rm}\Url}\fi

\bibitem[Peyton~Jones et~al.(1999)Peyton~Jones, Ramsey, and
  Reig]{peyton-jones:c--gc}
Simon~L. Peyton~Jones, Norman Ramsey, and Fermin Reig.
\newblock {\texttt{C{-}{-}}}: A portable assembly language that supports
  garbage collection.
\newblock In \emph{International Conference on Principles and Practice of
  Declarative Programming}, volume 1702 of \emph{LNCS}, pages 1--28. Springer
  Verlag, September 1999.
\newblock \ifx\position\undefined\def\gobbledot#1.{}\let\next\gobbledot \else
  Invited paper\let\next\relax\fi
  \ifx\invitedtrue\undefined\else\invitedtrue\fi \next.

\bibitem[Ramsey and {Peyton Jones}(2000)]{ramsey:intermediate}
Norman Ramsey and Simon~L. {Peyton Jones}.
\newblock A single intermediate language that supports multiple implementations
  of exceptions.
\newblock \emph{Proceedings of the ACM SIGPLAN~'00 Conference on Programming
  Language Design and Implementation, {\em in} SIGPLAN Notices}, 35\penalty0
  (5):\penalty0 285--298, May 2000.

\end{thebibliography}
