...

[bitonic-mengthesis.git] / thesis.bib

diff --git a/thesis.bib b/thesis.bib
index 5ca5dc0b0b1bcee24c7ecb760727edead3d3194e..e8a23d9eaf1e866278d1d32bb224954a38e046cf 100644 (file)
--- a/thesis.bib
+++ b/thesis.bib
@@ -378,16 +378,12 @@ year = {2012}
 }
 
 @ARTICLE{Jacobs1994,
-  author = {Jacobs, Bart},
-  title = {Quotients in simple type theory},
-  journal = {available from the Hypatia Electronic Library: http://hypatia. dcs.
-       qmw. ac. uk},
-  year = {1994},
-  file = {:/home/bitonic/docs/papers/jacobs-quotients.pdf:PDF},
-  publisher = {Citeseer}
+    author = {Jacobs, Bart},
+    title = {Quotients in Simple Type Theory},
+    journal = {Manuscript, Math. Inst},
+    year = {1994}
 }
 
-
 @inproceedings{Hofmann1994,
   title={The groupoid model refutes uniqueness of identity proofs},
   author={Hofmann, Martin and Streicher, Thomas},
@@ -470,4 +466,24 @@ year = {2012}
   pages={333--345},
   year={2011},
   organization={ACM}
+}
+
+@inproceedings{King1995,
+  title={Structuring depth-first search algorithms in Haskell},
+  author={King, David J and Launchbury, John},
+  booktitle={Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
+  pages={344--354},
+  year={1995},
+  organization={ACM}
+}
+
+@article{milner1978theory,
+  title={A theory of type polymorphism in programming},
+  author={Milner, Robin},
+  journal={Journal of computer and system sciences},
+  volume={17},
+  number={3},
+  pages={348--375},
+  year={1978},
+  publisher={Elsevier}
 }
\ No newline at end of file