\begin{thebibliography}{10}

\bibitem{baars02}
A.~I. Baars and S.~D. Swierstra.
\newblock Typing dynamic typing.
\newblock In {\em ICFP '02: Proceedings of the seventh ACM SIGPLAN
  international conference on Functional programming}, volume~37, pages
  157--166. ACM Press, September 2002.

\bibitem{leftcorner}
A.~I. Baars and S.~D. Swierstra.
\newblock Typed transformations of typed abstract syntax.
\newblock http://www.cs.uu.nl/wiki/Center/TTTAS, 4 2008.

\bibitem{dijkstra04}
A.~Dijkstra.
\newblock {EHC Web}.
\newblock \verb|http://www.cs.uu.nl/wiki/Ehc/WebHome|, 2004.

\bibitem{dijkstra05phd}
A.~Dijkstra.
\newblock {\em {Stepping through Haskell}}.
\newblock PhD thesis, Utrecht University, Department of Information and
  Computing Sciences, 2005.

\bibitem{chr98}
T.~Fr{\"u}hwirth.
\newblock Theory and practice of constraint handling rules.
\newblock {\em Journal of Logic Programming, Special Issue on Constraint Logic
  Programming}, 37(1-3):95--138, October 1998.

\bibitem{jones06}
S.~L. {Peyton~Jones}, D.~Vytiniotis, S.~Weirich, and G.~Washburn.
\newblock Simple unification-based type inference for gadts.
\newblock In {\em ICFP}, pages 50--61, 2006.

\bibitem{jones04}
S.~L. {Peyton~Jones}, G.~Washburn, and S.~Weirich.
\newblock Wobbly types: type inference for generalised algebraic data types.
\newblock Technical Report MS-CIS-05-26, University of Pennsylvania, Computer
  and Information Science Department, Levine Hall, 3330 Walnut Street,
  Philadelphia, Pennsylvania, 19104-6389, July 2004.

\bibitem{pottier06}
F.~Pottier and Y.~R{\'e}gis-Gianas.
\newblock Stratified type inference for generalized algebraic data types.
\newblock In {\em POPL}, pages 232--244, 2006.

\bibitem{stuckey05}
P.~J. Stuckey and M.~Sulzmann.
\newblock Type inference for guarded recursive data types.
\newblock {\em CoRR}, abs/cs/0507037, 2005.

\bibitem{sulzmann07}
M.~Sulzmann, M.~M.~T. Chakravarty, S.~L. {Peyton~Jones}, and K.~Donnelly.
\newblock {System F} with type equality coercions.
\newblock In {\em TLDI}, pages 53--66, 2007.

\bibitem{sulzmann06}
M.~Sulzmann, J.~Wazny, and P.~J. Stuckey.
\newblock A framework for extended algebraic data types.
\newblock In {\em FLOPS}, pages 47--64, 2006.

\bibitem{vytiniotis06}
D.~Vytiniotis, S.~Weirich, and S.~L. {Peyton~Jones}.
\newblock Boxy types: inference for higher-rank types and impredicativity.
\newblock In J.~H. Reppy and J.~L. Lawall, editors, {\em ICFP}, pages 251--262.
  ACM, 2006.

\bibitem{wazny06}
J.~R. Wazny.
\newblock {\em Type inference and type error diagnosis for Hindley/Milner with
  extensions}.
\newblock PhD thesis, The university of Melbourne, January 2006.

\end{thebibliography}