# HG changeset patch # User lcp # Date 754746527 -3600 # Node ID afbb13cb34caf206ab087bf6e1ef6f710632b9e4 # Parent 921ad94fdddba8d57b7753c0ae84ee9854df0c28 new references diff -r 921ad94fdddb -r afbb13cb34ca doc-src/Ref/ref.bbl --- a/doc-src/Ref/ref.bbl Wed Dec 01 12:45:49 1993 +0100 +++ b/doc-src/Ref/ref.bbl Wed Dec 01 12:48:47 1993 +0100 @@ -11,6 +11,12 @@ formula manipulation, with application to the {Church-Rosser Theorem}. \newblock {\em Indagationes Mathematicae}, 34:381--392, 1972. +\bibitem{nipkow-prehofer} +Tobias Nipkow and Christian Prehofer. +\newblock Type checking type classes. +\newblock In {\em 20th ACM Symp.\ Principles of Programming Languages}, 1993. +\newblock To appear. + \bibitem{paulson91} Lawrence~C. Paulson. \newblock {\em {ML} for the Working Programmer}.