X-Git-Url: https://git.enpas.org/?a=blobdiff_plain;f=docs%2Fbackground.bib;h=c1f8a16a13a1ed7e441e12e171fc97374563ee56;hb=30ed12635896ab8acbd2115802ab5c5f583a2a59;hp=04238d072114bd10a83329b0b08f1c500d52ae96;hpb=2e0a8c0e91f79984bc988bdb98678ee3c3b213e6;p=bitonic-mengthesis.git

diff --git a/docs/background.bib b/docs/background.bib
index 04238d0..c1f8a16 100644
--- 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},