\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
% \MRhref is called by the amsart/book/proc definition of \MR.
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}
\begin{thebibliography}{DHJG06}

\bibitem[DHJG06]{danielsson2006fast}
Nils~Anders Danielsson, John Hughes, Patrik Jansson, and Jeremy Gibbons,
  \emph{Fast and loose reasoning is morally correct}, ACM SIGPLAN Notices,
  vol.~41, ACM, 2006, pp.~206--217.

\bibitem[Wad89]{wadler1989theorems}
Philip Wadler, \emph{Theorems for free!}, Proceedings of the fourth
  international conference on Functional programming languages and computer
  architecture, ACM, 1989, pp.~347--359.

\end{thebibliography}
