doc-src/Ref/ref.bbl
author lcp
Wed Dec 01 12:48:47 1993 +0100 (1993-12-01)
changeset 178 afbb13cb34ca
parent 104 d8205bb279a7
child 359 b5a2e9503a7a
permissions -rw-r--r--
new references
lcp@104
     1
\begin{thebibliography}{1}
lcp@104
     2
lcp@104
     3
\bibitem{charniak80}
lcp@104
     4
E.~Charniak, C.~K. Riesbeck, and D.~V. McDermott.
lcp@104
     5
\newblock {\em Artificial Intelligence Programming}.
lcp@104
     6
\newblock Lawrence Erlbaum Associates, 1980.
lcp@104
     7
lcp@104
     8
\bibitem{debruijn72}
lcp@104
     9
N.~G. de~Bruijn.
lcp@104
    10
\newblock Lambda calculus notation with nameless dummies, a tool for automatic
lcp@104
    11
  formula manipulation, with application to the {Church-Rosser Theorem}.
lcp@104
    12
\newblock {\em Indagationes Mathematicae}, 34:381--392, 1972.
lcp@104
    13
lcp@178
    14
\bibitem{nipkow-prehofer}
lcp@178
    15
Tobias Nipkow and Christian Prehofer.
lcp@178
    16
\newblock Type checking type classes.
lcp@178
    17
\newblock In {\em 20th ACM Symp.\ Principles of Programming Languages}, 1993.
lcp@178
    18
\newblock To appear.
lcp@178
    19
lcp@104
    20
\bibitem{paulson91}
lcp@104
    21
Lawrence~C. Paulson.
lcp@104
    22
\newblock {\em {ML} for the Working Programmer}.
lcp@104
    23
\newblock Cambridge University Press, 1991.
lcp@104
    24
lcp@104
    25
\bibitem{pelletier86}
lcp@104
    26
F.~J. Pelletier.
lcp@104
    27
\newblock Seventy-five problems for testing automatic theorem provers.
lcp@104
    28
\newblock {\em Journal of Automated Reasoning}, 2:191--216, 1986.
lcp@104
    29
\newblock Errata, JAR 4 (1988), 235--236.
lcp@104
    30
lcp@104
    31
\end{thebibliography}