Fixed a few bib problems.

sudonatalie · Jun 2, 2017 · 8b3db3d · 8b3db3d
1 parent d2ee0de
commit 8b3db3d
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 9 deletions.
diff --git a/Bibliography/RATH/crossrefs.bib b/Bibliography/RATH/crossrefs.bib
@@ -2956,7 +2956,7 @@ @Proceedings{IFL1997
   booktitle = {IFL '97: 9th International Workshop on Implementation of Functional Languages},
   year = {1998},
   isbn = {3-540-64849-6},
-  editor =	 {\unfinished},
+  editor = {Clack C. and Hammond K. and Davie T.},
   bookURL = {http://www.springerlink.com/content/9yuvrx6du1qd/},
   series = LNCS,
   volume = 1467,

diff --git a/Bibliography/RATH/ref.bib b/Bibliography/RATH/ref.bib
@@ -15583,7 +15583,7 @@ @InProceedings{Chitil-1998
   crossref = {IFL1997},
   pages = {53--71},
   DOI = {10.1007/BFb0055420},
-  URL = {http://www.springerlink.com/content/87m4m1294j472456/},
+  DirectURL = {http://www.springerlink.com/content/87m4m1294j472456/},
   WKloc = {A-0676},
   annote = {contains GHC Core syntax},
   abstract = {Common subexpression elimination is a well-known
@@ -81388,7 +81388,7 @@ @Article{deBruijn-1972
   author = {N.G. de Bruijn},
   title = {Lambda Calculus Notation with Nameless Dummies, a Tool for
 	  Automatic Formula Manipulation, with Application to the
-	  Church-Rosser Theorem},
+	  {Church-Rosser} Theorem},
   journal = {Indagationes Mathematicae},
   volume = 34,
   year = 1972,

diff --git a/Bibliography/ref.bib b/Bibliography/ref.bib
@@ -26,9 +26,9 @@ @misc{agdawiki
   url =		 {http://wiki.portal.chalmers.se/agda/agda.php}
 }
 
-@misc{appel1992,
+@book{appel1992,
   title =	 {Compiling with Continuations},
-  author =	 {Appel, Andrew W},
+  author =	 {Appel, Andrew W.},
   year =	 1992,
   publisher =	 {Cambridge University Press, England}
 }
@@ -68,11 +68,11 @@ @article{fokkinga1987
   publisher =	 {CWI}
 }
 
-@article{fredriksson2011,
-  title =	 {A totaly {Epic} backend for {Agda}},
+@Misc{fredriksson2011,
+  title =	 {A totally {Epic} backend for {Agda}},
   author =	 {Fredriksson, Olle and Gustafsson, Daniel},
   year =	 2011,
-  publisher =	 {Chalmers University of Technology}
+  howpublished = {Chalmers University of Technology}
 }
 
 @manual{ghcprofiling,

diff --git a/MScThesis.lhs b/MScThesis.lhs
@@ -155,7 +155,6 @@
 \bibliographystyle{plainnat}
 \addcontentsline{toc}{chapter}{Bibliography}
 \bibliography{Bibliography/RATH/strings,Bibliography/RATH/ref,Bibliography/RATH/crossrefs,Bibliography/ref}
-\edcomm{NP}{Chitil-1997 still has a ???}
 
 % Index
 \newpage