diff latex/cpdt.bib @ 395:3c941750c347

Citations for lazy data structures, Haskell 'deriving', and logic programming
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Apr 2012 16:25:22 -0400
parents cc8d0503619f
children 92f386c33e94
line wrap: on
line diff
--- a/latex/cpdt.bib	Sun Apr 22 15:51:03 2012 -0400
+++ b/latex/cpdt.bib	Sun Apr 22 16:25:22 2012 -0400
@@ -414,3 +414,34 @@
  publisher = {ACM},
  address = {New York, NY, USA},
 }
+
+@ARTICLE{whyfp,
+    author = {John Hughes},
+    title = {Why Functional Programming Matters},
+    journal = {The Computer Journal},
+    year = {1984},
+    volume = {32},
+    pages = {98--107}
+}
+
+@Book{Prolog,
+  author       = "Leon Sterling and Ehud Shapiro",
+  title        = "The Art of Prolog, 2nd Edition",
+  year         = "1994",
+  publisher    = "MIT Press"
+}
+
+@Book{LogicProgramming,
+  author       = "John W. Lloyd",
+  title        = "Foundations of Logic Programming, 2nd Edition",
+  year         = "1987",
+  publisher    = "Springer"
+}
+
+@InBook{deriving,
+  title =	 "Haskell 98 Language and Libraries: The Revised Report",
+  author =	 "Simon {Peyton Jones} and Lennart Augustsson and Dave Barton and Brian Boutel and Warren Burton and Joseph Fasel and Kevin Hammond and Ralf Hinze and Paul Hudak and John Hughes and Thomas Johnsson and Mark Jones and John Launchbury and Erik Meijer and John Peterson and Alastair Reid and Colin Runciman and Philip Wadler",
+  year =	 "1998",
+  chapter =      "4.3.3",
+  url =          {http://www.haskell.org/onlinereport/decls.html#derived-decls}
+}