+}
+
+@inproceedings{chakravarty2005associated,
+ title={Associated types with class},
+ author={Chakravarty, Manuel MT and Keller, Gabriele and Jones, Simon Peyton and Marlow, Simon},
+ booktitle={ACM SIGPLAN Notices},
+ volume={40},
+ number={1},
+ pages={1--13},
+ year={2005},
+ organization={ACM}
+}
+
+@article{miller1992unification,
+ title={Unification under a mixed prefix},
+ author={Miller, Dale},
+ journal={Journal of symbolic computation},
+ volume={14},
+ number={4},
+ pages={321--358},
+ year={1992},
+ publisher={Elsevier}
+}
+
+@UNPUBLISHED{gundrytutorial,
+ title={A tutorial implementation of dynamic pattern unification},
+ author={Gundry, Adam and McBride, Conor},
+ note= {Unpublished draft},
+ year={2013}
+}
+
+@techreport{cockett1992charity,
+ title={About charity},
+ author={Cockett, Robin and Fukushima, Tom},
+ year={1992},
+ journal={Yellow Series Report}
+}
+
+@incollection{mcbride2009let,
+ title={Let’s see how things unfold: Reconciling the infinite with the intensional},
+ author={McBride, Conor},
+ booktitle={Algebra and Coalgebra in Computer Science},
+ pages={113--126},
+ year={2009},
+ publisher={Springer}
+}
+
+@article{huet1973undecidability,
+ title={The undecidability of unification in third order logic},
+ author={Huet, Gerard P},
+ journal={Information and Control},
+ volume={22},
+ number={3},
+ pages={257--267},
+ year={1973},
+ publisher={Elsevier}