X-Git-Url: https://git.enpas.org/?a=blobdiff_plain;f=thesis.bib;h=58bfa8954c4badb9fff55f39599a0ff60e4e3596;hb=4a595ccd130b5954a103a66f2941ab2ed711ee6a;hp=468ba5ce4a7e1237beee2d8cc857c618ab1882fa;hpb=ffa2d9635d358274433cece34fa326a49794ab62;p=bitonic-mengthesis.git

diff --git a/thesis.bib b/thesis.bib
index 468ba5c..58bfa89 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -30,7 +30,7 @@
 @online{GHC,
   author = {{The GHC Team}},
   title = {The Glorious Glasgow Haskell Compilation System User's Guide, Version 7.6.1},
-  url = {http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/},
+  url = {http://www.haskell.org/ghc/docs/latest/html/users_guide/},
   howpublished = {\url{http://www.haskell.org/ghc/docs/latest/html/users_guide/}},
   year = 2012
 }
@@ -513,4 +513,60 @@ year = {2012}
   pages={525--549},
   year={2000},
   publisher={JSTOR}
+}
+
+@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}
 }
\ No newline at end of file