equal
deleted
inserted
replaced
439 crossref = {hug93}, |
439 crossref = {hug93}, |
440 pages = {141-154}} |
440 pages = {141-154}} |
441 |
441 |
442 %H |
442 %H |
443 |
443 |
|
444 @InProceedings{Haftmann-Wenzel:2006:classes, |
|
445 author = {Florian Haftmann and Makarius Wenzel}, |
|
446 title = {Constructive Type Classes in {Isabelle}}, |
|
447 year = 2006, |
|
448 note = {To appear} |
|
449 } |
|
450 |
444 @manual{isabelle-classes, |
451 @manual{isabelle-classes, |
445 author = {Florian Haftmann}, |
452 author = {Florian Haftmann}, |
446 title = {Haskell-style type classes with {Isabelle}/{Isar}}, |
453 title = {Haskell-style type classes with {Isabelle}/{Isar}}, |
447 institution = TUM, |
454 institution = TUM, |
448 note = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}} |
455 note = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}} |
801 volume = 5, |
808 volume = 5, |
802 number = 2, |
809 number = 2, |
803 year = 1995, |
810 year = 1995, |
804 pages = {201-224}} |
811 pages = {201-224}} |
805 |
812 |
|
813 @InProceedings{Nipkow-Prehofer:1993, |
|
814 author = {T. Nipkow and C. Prehofer}, |
|
815 title = {Type checking type classes}, |
|
816 booktitle = {ACM Symp.\ Principles of Programming Languages}, |
|
817 year = 1993 |
|
818 } |
|
819 |
806 @Book{isa-tutorial, |
820 @Book{isa-tutorial, |
807 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, |
821 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, |
808 title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic}, |
822 title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic}, |
809 publisher = {Springer}, |
823 publisher = {Springer}, |
810 year = 2002, |
824 year = 2002, |
1229 year = 1994, |
1243 year = 1994, |
1230 month = aug} |
1244 month = aug} |
1231 |
1245 |
1232 %W |
1246 %W |
1233 |
1247 |
|
1248 @inproceedings{wadler89how, |
|
1249 author = {P. Wadler and S. Blott}, |
|
1250 title = {How to make ad-hoc polymorphism less ad-hoc}, |
|
1251 booktitle = {ACM Symp.\ Principles of Programming Languages}, |
|
1252 year = 1989 |
|
1253 } |
|
1254 |
1234 @Misc{x-symbol, |
1255 @Misc{x-symbol, |
1235 author = {Christoph Wedler}, |
1256 author = {Christoph Wedler}, |
1236 title = {Emacs package ``{X-Symbol}''}, |
1257 title = {Emacs package ``{X-Symbol}''}, |
1237 note = {\url{http://x-symbol.sourceforge.net}} |
1258 note = {\url{http://x-symbol.sourceforge.net}} |
1238 } |
1259 } |
1529 series = LNCS, |
1550 series = LNCS, |
1530 volume = 4130, |
1551 volume = 4130, |
1531 year = 2006} |
1552 year = 2006} |
1532 |
1553 |
1533 @unpublished{classes_modules, |
1554 @unpublished{classes_modules, |
1534 title = {ML Modules and Haskell Type Classes: A Constructive Comparison}, |
1555 title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison}, |
1535 author = {Stefan Wehr et. al.} |
1556 author = {Stefan Wehr et. al.} |
1536 } |
1557 } |