| 2007 |
|---|
| 6 | EE | Maarten de Mol,
Marko C. J. D. van Eekelen,
Rinus Plasmeijer:
A Single-Step Term-Graph Reduction System for Proof Assistants.
AGTIVE 2007: 184-200 |
| 5 | EE | Maarten de Mol,
Marko C. J. D. van Eekelen,
Rinus Plasmeijer:
Proving Properties of Lazy Functional Programs with Sparkle.
CEFP 2007: 41-86 |
| 2005 |
|---|
| 4 | EE | Marko C. J. D. van Eekelen,
Maarten de Mol:
Proof Tool Support for Explicit Strictness.
IFL 2005: 37-54 |
| 2004 |
|---|
| 3 | | Ron van Kesteren,
Marko C. J. D. van Eekelen,
Maarten de Mol:
Proof support for generic type classes.
Trends in Functional Programming 2004: 1-16 |
| 2001 |
|---|
| 2 | EE | Maarten de Mol,
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer:
Theorem Proving for Functional Programmers.
IFL 2001: 55-71 |
| 1999 |
|---|
| 1 | EE | Maarten de Mol,
Marko C. J. D. van Eekelen:
A Proof Tool Dedicated to Clean - The First Prototype.
AGTIVE 1999: 271-278 |
