dblp.uni-trier.dewww.uni-trier.de

Maarten de Mol

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
6EEMaarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE 2007: 184-200
5EEMaarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
2005
4EEMarko 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
2EEMaarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71
1999
1EEMaarten de Mol, Marko C. J. D. van Eekelen: A Proof Tool Dedicated to Clean - The First Prototype. AGTIVE 1999: 271-278

Coauthor Index

1Marko C. J. D. van Eekelen [1] [2] [3] [4] [5] [6]
2Ron van Kesteren [3]
3Marinus J. Plasmeijer (Rinus Plasmeijer) [2] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)