 | 1999 |
|---|
| 6 |       | Thorsten Altenkirch,
Wolfgang Naraschewski,
Bernhard Reus:
Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Springer 1999 |
| 5 | | Wolfgang Naraschewski,
Tobias Nipkow:
Type Inference Verified: Algorithm W in Isabelle/HOL.
J. Autom. Reasoning 23(3-4): 299-318 (1999) |
| 1998 |
|---|
| 4 |  | Wolfgang Naraschewski,
Markus Wenzel:
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic.
TPHOLs 1998: 349-366 |
| 3 | | Martin Hofmann,
Wolfgang Naraschewski,
Martin Steffen,
Terry Stroup:
Inheritance of Proofs.
TAPOS 4(1): 51-69 (1998) |
| 1997 |
|---|
| 2 | | Wolfgang Naraschewski:
Towards an Object-Oriented Progification Language.
TPHOLs 1997: 215-230 |
| 1996 |
|---|
| 1 | | Wolfgang Naraschewski,
Tobias Nipkow:
Type Inference Verified: Algorithm W in Isabelle/HOL.
TYPES 1996: 317-332 |
