equal
deleted
inserted
replaced
40 \newblock {\em Journal of Symbolic Computation}, 14(4):321--358, 1992. |
40 \newblock {\em Journal of Symbolic Computation}, 14(4):321--358, 1992. |
41 |
41 |
42 \bibitem{nipkow-prehofer} |
42 \bibitem{nipkow-prehofer} |
43 Tobias Nipkow and Christian Prehofer. |
43 Tobias Nipkow and Christian Prehofer. |
44 \newblock Type reconstruction for type classes. |
44 \newblock Type reconstruction for type classes. |
45 \newblock {\em J. Functional Programming}, 5(2):201--224, 1995. |
45 \newblock {\em Journal of Functional Programming}, 5(2):201--224, 1995. |
46 |
46 |
47 \bibitem{nordstrom90} |
47 \bibitem{nordstrom90} |
48 Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith. |
48 Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith. |
49 \newblock {\em Programming in {Martin-L\"of}'s Type Theory. An Introduction}. |
49 \newblock {\em Programming in {Martin-L\"of}'s Type Theory. An Introduction}. |
50 \newblock Oxford University Press, 1990. |
50 \newblock Oxford University Press, 1990. |