--- a/doc-src/manual.bib Tue Jul 24 15:20:53 2007 +0200
+++ b/doc-src/manual.bib Tue Jul 24 15:21:54 2007 +0200
@@ -441,6 +441,13 @@
%H
+@InProceedings{Haftmann-Wenzel:2006:classes,
+ author = {Florian Haftmann and Makarius Wenzel},
+ title = {Constructive Type Classes in {Isabelle}},
+ year = 2006,
+ note = {To appear}
+}
+
@manual{isabelle-classes,
author = {Florian Haftmann},
title = {Haskell-style type classes with {Isabelle}/{Isar}},
@@ -803,6 +810,13 @@
year = 1995,
pages = {201-224}}
+@InProceedings{Nipkow-Prehofer:1993,
+ author = {T. Nipkow and C. Prehofer},
+ title = {Type checking type classes},
+ booktitle = {ACM Symp.\ Principles of Programming Languages},
+ year = 1993
+}
+
@Book{isa-tutorial,
author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},
@@ -1231,6 +1245,13 @@
%W
+@inproceedings{wadler89how,
+ author = {P. Wadler and S. Blott},
+ title = {How to make ad-hoc polymorphism less ad-hoc},
+ booktitle = {ACM Symp.\ Principles of Programming Languages},
+ year = 1989
+}
+
@Misc{x-symbol,
author = {Christoph Wedler},
title = {Emacs package ``{X-Symbol}''},
@@ -1531,6 +1552,6 @@
year = 2006}
@unpublished{classes_modules,
- title = {ML Modules and Haskell Type Classes: A Constructive Comparison},
+ title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
author = {Stefan Wehr et. al.}
}