new references
authorlcp
Wed Dec 01 12:48:47 1993 +0100 (1993-12-01)
changeset 178afbb13cb34ca
parent 177 921ad94fdddb
child 179 ceb948cefb93
new references
doc-src/Ref/ref.bbl
     1.1 --- a/doc-src/Ref/ref.bbl	Wed Dec 01 12:45:49 1993 +0100
     1.2 +++ b/doc-src/Ref/ref.bbl	Wed Dec 01 12:48:47 1993 +0100
     1.3 @@ -11,6 +11,12 @@
     1.4    formula manipulation, with application to the {Church-Rosser Theorem}.
     1.5  \newblock {\em Indagationes Mathematicae}, 34:381--392, 1972.
     1.6  
     1.7 +\bibitem{nipkow-prehofer}
     1.8 +Tobias Nipkow and Christian Prehofer.
     1.9 +\newblock Type checking type classes.
    1.10 +\newblock In {\em 20th ACM Symp.\ Principles of Programming Languages}, 1993.
    1.11 +\newblock To appear.
    1.12 +
    1.13  \bibitem{paulson91}
    1.14  Lawrence~C. Paulson.
    1.15  \newblock {\em {ML} for the Working Programmer}.