There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 18

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 199 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Isar — A Generic Interpretative Approach to Readable Formal Proof Documents

Markus Wenzel (1999)

0 comments Cited 19 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Type classes and overloading in higher-order logic

Markus Wenzel (1997)

0 comments Cited 17 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2007

Pages: 160-174

DOI: 10.1007/978-3-540-74464-1_11

SO-VID: 5c727afb-2c60-4c6e-9cde-74420f06bc6d

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 10

First-Class Type Classes
Authors: Matthieu Sozeau, Nicolas Oury
Locales: A Module System for Mathematical Theories
Authors: Clemens Ballarin
The Isabelle Framework
Authors: Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow

See all cited by

Constructive Type Classes in Isabelle

Read this book at

Related collections

BMJ Open Science

Most cited references 18

Isabelle/HOL

Isar — A Generic Interpretative Approach to Readable Formal Proof Documents

Type classes and overloading in higher-order logic

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,784

Cited by 10