@inproceedings{Naraschewski-Nipkow-TYPES96, author={Wolfgang Naraschewski and Tobias Nipkow}, title={Type Inference Verified: Algorithm {W} in {Isabelle/HOL}}, booktitle={Types for Proofs and Programs: Intl. Workshop TYPES '96}, editor={E. Gim\'enez and C. Paulin-Mohring}, publisher=Springer,series=LNCS,volume=1512,pages={317--332},year=1998}
@article{NaraschewskiN-JAR, author={Wolfgang Naraschewski and Tobias Nipkow}, title={Type Inference Verified: Algorithm {W} in {Isabelle/HOL}}, journal={Journal of Automated Reasoning}, year=1999,volume=23,pages={299--318}}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
