recover the bibliography, and run bibtex
authorSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 15:01:46 +0000 (15:01 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 15:01:46 +0000 (15:01 +0000)
report/Makefile
report/haskell.bbl [deleted file]
report/haskell.bib [new file with mode: 0644]

index e473634..b57a6b4 100644 (file)
@@ -31,6 +31,7 @@ CP    = cp
 LN    = ln -sf
 LATEX = latex
 PDFLATEX = pdflatex
+BIBTEX = bibtex
 MAKEINDEX = makeindex
 
 # 'expand' expands tabs to spaces
@@ -185,6 +186,9 @@ clean:
 
 %.pdf: %.tex
        $(PDFLATEX) $<
+       $(BIBTEX) $*
+       $(PDFLATEX) $<
+       $(PDFLATEX) $<
 
 ht/%.tex: %.verb
        $(EXPAND) < $< | $(VERB_TEX4HT) | sh ../tools/subsection >$@
diff --git a/report/haskell.bbl b/report/haskell.bbl
deleted file mode 100644 (file)
index 152c605..0000000
+++ /dev/null
@@ -1,73 +0,0 @@
-%**<title>The Haskell 1.3 Report: Bibliography</title>
-%**~eheader
-
-\begin{thebibliography}{10}
-
-\bibitem{back78}
-J.~Backus.
-\newblock Can programming be liberated from the von {N}eumann style? {A}
-  functional style and its algebra of programs.
-\newblock {\em CACM}, 21(8):613--641, August 1978.
-
-\bibitem{curry&feys:book}
-H.B.~Curry and R.~Feys.
-\newblock {\em Combinatory Logic}.
-\newblock North-Holland Pub. Co., Amsterdam, 1958.
-
-\bibitem{damas-milner82}
-L.~Damas and R.~Milner.
-\newblock Principal type schemes for functional programs.
-\newblock In {\em Proceedings of the 9th ACM Symposium on Principles of
-  Programming Languages}, pages 207--212, Albuquerque, N.M., January 1982.
-
-\bibitem{faxen:static}
-K-F.~Fax\'en
-\newblock A static semantics for Haskell
-\newblock {\em Journal of Functional Programming}, 2002.
-
-\bibitem{hindley69}
-J.R.~Hindley.
-\newblock The principal type scheme of an object in combinatory logic.
-\newblock {\em Transactions of the American Mathematical Society}, 146:29--60,
-  December 1969.
-
-\bibitem{tutorial}
-P.~Hudak, J.~Fasel, and J.~Peterson.
-\newblock A gentle introduction to {H}askell.
-\newblock Technical Report YALEU/DCS/RR-901, Yale University, May 1996.
-
-\bibitem{jones:cclasses}
-Mark~P.~Jones.
-\newblock A system of constructor classes: overloading and implicit
-  higher-order polymorphism.
-\newblock {\em Journal of Functional Programming}, 5(1), January 1995.
-
-\bibitem{jones:thih}
-Mark~P.~Jones.
-\newblock Typing Haskell in Haskell.
-\newblock {\em Haskell Workshop}, Paris, October 1999.
-
-\bibitem{penfield:complex-apl}
-P.~Penfield, Jr.
-\newblock Principal values and branch cuts in complex {APL}.
-\newblock In {\em APL '81 Conference Proceedings}, pages 248--256, San
-  Francisco, September 1981.
-
-\bibitem{peyton-jones:book}
-S.L.~Peyton~Jones.
-\newblock {\em The Implementation of Functional Programming Languages}.
-\newblock Prentice-Hall International, Englewood Cliffs, New Jersey, 1987.
-
-\bibitem{unicode}
-{Unicode Consortium}.
-\newblock {\em The Unicode Standard, Version 3.0}.
-\newblock Addison Wesley, Reading, MA, 2000.
-
-\bibitem{wadler:classes}
-P.~Wadler and S.~Blott.
-\newblock How to make {\em ad hoc} polymorphism less {\em ad hoc}.
-\newblock In {\em Proceedings of the 16th ACM Symposium on Principles of
-  Programming Languages}, pages 60--76, Austin, Texas, January 1989.
-
-\end{thebibliography}
-%**~efooter
diff --git a/report/haskell.bib b/report/haskell.bib
new file mode 100644 (file)
index 0000000..79ff8ee
--- /dev/null
@@ -0,0 +1,280 @@
+@article{hindley69\r
+    ,key={hindley}\r
+    ,author={Hindley, R.}\r
+    ,title={The Principal Type Scheme of an Object in Combinatory Logic}\r
+    ,journal={Transactions of the American Mathematical Society}\r
+    ,volume=146\r
+    ,year=1969\r
+    ,month=Dec\r
+    ,pages={29--60}\r
+    }\r
\r
+ @article{milner78\r
+    ,key={milner}\r
+    ,author={Milner, R.A.}\r
+    ,title={A Theory of Type Polymorphism in Programming}\r
+    ,journal={Journal of Computer and System Sciences}\r
+    ,volume=17\r
+    ,number=3\r
+    ,year=1978\r
+    ,month=Dec\r
+    ,pages={348--375}\r
+    }\r
\r
+@book{curry&feys:book\r
+    ,key={curry}\r
+    ,author={Curry, H.K. and Feys, R.}\r
+    ,title={Combinatory Logic}\r
+    ,publisher={North-Holland Pub. Co.}\r
+    ,address={Amsterdam}\r
+    ,year=1958\r
+    }\r
+\r
+@book{steele:common-lisp,\r
+       author="{Steele Jr.}, G.L.",\r
+       title="{Common} {Lisp}: The Language",\r
+       publisher="Digital Press",\r
+       address="Burlington, Mass.",\r
+       year=1984}\r
+\r
+@article{RRRRS\r
+    ,key={rees}\r
+    ,author={Rees, J. and Clinger (eds.), W.}\r
+    ,title={The Revised$^3$ Report on the Algorithmic Language {S}cheme}\r
+    ,journal={SIGPLAN Notices}\r
+    ,volume=21\r
+    ,number=12\r
+    ,year=1986\r
+    ,month=dec\r
+    ,pages={37--79}\r
+    }\r
+\r
+@inproceedings{penfield:complex-apl,\r
+       author="Penfield, Jr., P.",\r
+       title="Principal Values and Branch Cuts in Complex {APL}",\r
+       booktitle="APL '81 Conference Proceedings",\r
+       address="San Francisco",\r
+       year=1981,\r
+       month=sep,\r
+       pages="248--256"}\r
+\r
+@techreport{nikhil:id-nouveau,\r
+       author="Nikhil, R.S.",\r
+       title="{Id-Nouveau} (Version 88.0) Reference Manual",\r
+       institution="MIT Laboratory for Computer Science",\r
+       address="Cambridge, Mass.",\r
+       year=1988,\r
+       month=mar}\r
+\r
+@techreport{hudak:io\r
+        ,key="Hudak"\r
+        ,author="Hudak, P. and Sundaresh, R."\r
+        ,title="On the Expressiveness of Purely Functional {I/O} Systems"\r
+        ,institution="Yale University, Department of Computer Science"\r
+        ,month=dec\r
+        ,number="YALEU/DCS/RR665"\r
+        ,year=1988\r
+        }\r
+\r
+@book{peyton-jones:book\r
+    ,key={peyton jones}\r
+    ,author={Peyton Jones, S.}\r
+    ,title={The Implementation of Functional Programming Languages}\r
+    ,publisher={Prentice-Hall International}\r
+    ,address={Englewood Cliffs, New Jersey}\r
+    ,year=1987\r
+    }\r
+\r
+@book{gordon\r
+    ,key={gordon}\r
+    ,author={Gordon, J.C.}\r
+    ,title={The Denotational Description of Programming Languages}\r
+    ,publisher={Springer-Verlag}\r
+    ,address={New York}\r
+    ,year=1979\r
+    }\r
+\r
+@article{mcca60\r
+        ,key="McCarthy"\r
+        ,author="McCarthy, J."\r
+        ,title="Recursive functions of symbolic expressions and their\r
+                computation by machine, {P}art {I}"\r
+        ,journal="CACM"\r
+        ,volume=3\r
+        ,number=4\r
+        ,pages="184--195"\r
+        ,month=Apr\r
+        ,year=1960\r
+        }\r
+\r
+@article{back78\r
+        ,key="Backus"\r
+        ,author="Backus, J."\r
+        ,title="Can programming be liberated from the von {N}eumann style?\r
+                {A} functional style and its algebra of programs"\r
+        ,journal="CACM"\r
+        ,volume=21\r
+        ,number=8\r
+        ,pages="613--641"\r
+        ,month=Aug\r
+        ,year=1978\r
+        }\r
+\r
+@InProceedings{wadler:array-primitive,\r
+       author="Wadler, P.",\r
+       title="A New Array Operation",\r
+       editor="Fasel, J.H. and Keller, R.M.",\r
+       booktitle="Graph Reduction",\r
+       publisher="Springer-Verlag",\r
+    volume="279",\r
+    series="Lecture Notes in Computer Science",\r
+       address="Heidelberg",\r
+       year=1987,\r
+       pages="328--335"}\r
+\r
+@InProceedings{turn85\r
+    ,key={turner}\r
+    ,author={Turner, D.A.}\r
+    ,title={Miranda: a non-strict functional language with polymorphic types}\r
+    ,booktitle={Functional Programming Languages and Computer Architecture}\r
+    ,month=Sep\r
+    ,year=1985\r
+    ,publisher={Springer-Verlag}\r
+    ,address={Nancy, France}\r
+    ,volume="201"\r
+    ,series="Lecture Notes in Computer Science"\r
+    ,pages={1--16}\r
+    }\r
+\r
+@article{landin66\r
+    ,key={landin}\r
+    ,author={Landin, P.J.}\r
+    ,title={The Next 700 Programming Languages}\r
+    ,journal="CACM"\r
+    ,volume=9\r
+    ,number=3\r
+    ,year=1966\r
+    ,month=mar\r
+    ,pages={157--166}\r
+    }\r
+  \r
+@InProceedings{wadler:classes\r
+    ,key={wadler}\r
+    ,author={Wadler, P. and Blott, S.}\r
+    ,title={How to Make {\em ad hoc} Polymorphism Less {\em ad hoc}}\r
+    ,booktitle={Proceedings of 16th ACM Symposium \r
+                on Principles of Programming Languages}\r
+    ,month=Jan\r
+    ,address="Austin, Texas"\r
+    ,year=1989\r
+    ,pages={60--76}\r
+    }\r
+\r
+@inproceedings{gordonetal78\r
+    ,key={gordon}\r
+    ,author={Gordon, M. and Milner, R. and Morris, L. and Newey, M. and\r
+             Wadsworth, C.}\r
+    ,title={A Metalanguage for Interactive Proof in {LCF}}\r
+    ,booktitle={Proceedings of 5th ACM Symposium\r
+                on Principles of Programming Languages}\r
+    ,year=1978\r
+    ,pages={119--130}\r
+    }\r
\r
+@InProceedings{burs80\r
+    ,key={burstall}\r
+    ,author={Burstall, R.M. and MacQueen, D.B. and Sannella, D.T.}\r
+    ,title={{HOPE}: An experimental Applicative Language}\r
+    ,booktitle={The 1980 LISP Conference}\r
+    ,address={Stanford University}\r
+    ,year=1980\r
+    ,month=aug\r
+    ,pages={136--143}\r
+    }\r
+\r
+@Article{haskell98,\r
+  author =      {Simon {Peyton Jones} and others},\r
+  title =       {Haskell 98 Language and Libraries: the Revised Report},\r
+  journal =     {Journal of Functional Programming},\r
+  year =        2003,\r
+  volume =      13,\r
+  number =      1,\r
+  URL =          "http://haskell.org/definition/",\r
+}\r
+\r
+@InProceedings{boehm:finalizers,\r
+  author =      {{Hans-J.} Boehm},\r
+  title =       {Destructors, Finalizers, and Synchronization},\r
+  booktitle =   {Proceedings of the 30th {ACM} {SIGPLAN}-{SIGACT} Symposium \r
+                 on Principles of Programming Languages},\r
+  pages =       {262--272},\r
+  year =        2003,\r
+  publisher =   {ACM Press}\r
+}\r
+\r
+@Book{C,\r
+  author =      "Brian W. Kernighan and Dennis M. Ritchie",\r
+  title =       "The C Programming Language",\r
+  publisher =   "Prentice Hall",\r
+  edition   =    "second",\r
+  year =        1988\r
+}\r
+\r
+@Book{gosling-etal:Java,\r
+  author =      "James Gosling and Bill Joy and Guy Steele",\r
+  title =       "The {Java} Language Specification",\r
+  publisher =   "Addison-Wesley",\r
+  year =        1997,\r
+  series =      "The Java Series"\r
+}\r
+\r
+@Book{lindholm-etal:JVM,\r
+  author =      {Tim Lindholm and Frank Yellin},\r
+  title =       {The {Java} Virtual Machine Specification},\r
+  publisher =   {Addison-Wesley},\r
+  year =        1996\r
+}\r
+\r
+@Book{liang:JNI,\r
+  author =      {Sheng Liang},\r
+  title =       {The Java Native Interface: Programmer's Guide and \r
+                Specification},\r
+  publisher =   {Addison Wesley},\r
+  year =        1999\r
+}\r
+\r
+@Misc{C99,\r
+  author =      {International Standard {ISO/IEC}},\r
+  title =       {Programming Languages -- {C}},\r
+  note =        {9899:1999 (E)}\r
+}\r
+\r
+                  \r
+\r
+@Misc{unicode,\r
+  author =    {Unicode Consortium},\r
+  title =     {Unicode Standard},\r
+  note =      {\url{http://unicode.org/standard/standard.html}}}\r
+\r
+@inproceedings{damas-milner82,\r
+Author = "Luis Damas and Robin Milner",\r
+Title = "Principal Type-Schemes for Functional Programs",\r
+Publisher = "ACM Press",address="New York",\r
+BookTitle = {Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages},\r
+Pages =  "207-12",\r
+Year = 1982,\r
+keywords = "Main cite for Damas-Milner type inference"\r
+}\r
+\r
+@article{jones:cclasses,\r
+   author = {MP Jones},\r
+   title = {A system of constructor classes: overloading and implicit higher-order polymorphism},\r
+   journal = {Journal of Functional Programming},\r
+   volume = {5},\r
+   number = {1},\r
+   pages = {1-36},\r
+   month = jan,\r
+   year = {1995},\r
+   keywords = {Haskell}\r
+}\r
+\r