Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Mini ML. | 0 | 0.34 | 2004 |
| Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers | 10 | 2.59 | 1999 |
| Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic | 28 | 2.50 | 1998 |
| Inheritance of proofs | 4 | 0.79 | 1998 |
| Towards an Object-Oriented Progification Language | 1 | 0.57 | 1997 |
| Type Inference Verified: Algorithm W in Isabelle/HOL | 14 | 1.09 | 1996 |