442 %H |
442 %H |
443 |
443 |
444 @InProceedings{Haftmann-Wenzel:2006:classes, |
444 @InProceedings{Haftmann-Wenzel:2006:classes, |
445 author = {Florian Haftmann and Makarius Wenzel}, |
445 author = {Florian Haftmann and Makarius Wenzel}, |
446 title = {Constructive Type Classes in {Isabelle}}, |
446 title = {Constructive Type Classes in {Isabelle}}, |
447 year = 2006, |
447 editor = {T. Altenkirch and C. McBride}, |
448 note = {To appear; \url{http://www4.in.tum.de/~haftmann/pdf/constructive_type_classes_haftmann_wenzel.pdf}} |
448 booktitle = {Types for Proofs and Programs, TYPES 2006}, |
|
449 publisher = {Springer}, |
|
450 series = {LNCS}, |
|
451 volume = {4502}, |
|
452 year = {2007} |
449 } |
453 } |
450 |
454 |
451 @TechReport{Haftmann-Nipkow:2007:codegen, |
455 @TechReport{Haftmann-Nipkow:2007:codegen, |
452 author = {Florian Haftmann and Tobias Nipkow}, |
456 author = {Florian Haftmann and Tobias Nipkow}, |
453 title = {A Code Generator Framework for {Isabelle/HOL}}, |
457 title = {A Code Generator Framework for {Isabelle/HOL}}, |
454 year = 2007, |
458 editor = {Klaus Schneider and Jens Brandt}, |
455 note = {\url{http://www4.in.tum.de/~haftmann/pdf/codegen_isabelle_haftmann_nipkow_16pp.pdf}} |
459 booktitle = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings}, |
|
460 month = {08}, |
|
461 year = {2007}, |
|
462 institution = {Department of Computer Science, University of Kaiserslautern}, |
|
463 number = {364/07} |
456 } |
464 } |
457 |
465 |
458 @manual{isabelle-classes, |
466 @manual{isabelle-classes, |
459 author = {Florian Haftmann}, |
467 author = {Florian Haftmann}, |
460 title = {Haskell-style type classes with {Isabelle}/{Isar}}, |
468 title = {Haskell-style type classes with {Isabelle}/{Isar}}, |