more stuff

[bitonic-mengthesis.git] / docs / background.bib

diff --git a/docs/background.bib b/docs/background.bib
index 04238d072114bd10a83329b0b08f1c500d52ae96..c1f8a16a13a1ed7e441e12e171fc97374563ee56 100644 (file)
--- a/docs/background.bib
+++ b/docs/background.bib
@@ -1,4 +1,4 @@
-
+ 
 @inbook{Thompson1991,
   author = {Thompson, Simon},
   title = {Type Theory and Functional Programming},
@@ -23,10 +23,10 @@
 
 @online{GHC,
   author = {{The GHC Team}},
-  title = {The Glorious Glasgow Haskell Compilation System User's Guide},
-  url = {http://www.haskell.org/ghc/docs/latest/html/users_guide/},
+  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/},
   howpublished = {\url{http://www.haskell.org/ghc/docs/latest/html/users_guide/}},
-  year = 2013
+  year = 2012
 }
 
 @online{EpigramTut,
@@ -37,6 +37,38 @@
   year = 2004
 }
 
+@online{Haskell2010,
+  author = {Simon Marlow},
+  title = {Haskell 2010, Language Report},
+  url = {http://www.haskell.org/onlinereport/haskell2010/},
+  howpublished = {\url{http://www.haskell.org/onlinereport/haskell2010/}},
+  year = 2010
+}
+
+@online{LYAH,
+  author = {Miran Lipova\v{c}a},
+  title = {Learn You a Haskell for Great Good!},
+  url = {http://learnyouahaskell.com/},
+  howpublished = {\url{http://learnyouahaskell.com/}},
+  year = 2009
+}
+
+@inbook{ProgInHask,
+  author = {Graham Hutton},
+  title = {Programming in Haskell},
+  year = 2007,
+  publisher = {Cambridge University Press}
+}
+
+
+@inbook{Constable86,
+author = {Constable, Robert L. and Stuart F. Allen and H. M. Bromley and W. R. Cleaveland and J. F. Cremer and R. W. Harper and Douglas J. Howe and T. B. Knoblock and N. P. Mendler and P. Panangaden and James T. Sasaki and Scott F. Smith},
+title = {Implementing Mathematics with the NuPRL Proof Development System},
+year = {1986},
+publisher = {Prentice-Hall},
+address = {NJ}
+}
+
 
 @article{Altenkirch2010,
 author = {Altenkirch, Thorsten and Danielsson, N and L\"{o}h, A and Oury, Nicolas},