1997 | ||
---|---|---|
2 | Peter G. Kluit, Cornelis Pronk, Rob Verver: Static Type Checking and Method Lookup in Plop!. JMLC 1997: 155-169 | |
1994 | ||
1 | Jan C. Verheul, Peter G. Kluit: The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings. CTRS 1994: 332-352 |
1 | Cornelis Pronk (Kees Pronk) | [2] |
2 | Jan C. Verheul | [1] |
3 | Rob Verver | [2] |