Author

Maarten de Mol

Observed names: M.J. de Mol, MAARTEN DE MOL, Maarten De Mol, Mol, Maarten, Mol, Maarten de, de Maarten Mol

Observed institutions: Radboud University Nijmegen, Radboud University Medical Center, University of Twente

OpenAlex ID: A5113552800

2011 · Amir Hossein Ghamarian, Maarten de Mol, et al. · International Journal on Software Tools for Technology Transfer · 172

Theorem Proving for Functional Programmers

2002 · Maarten de Mol, Marko van Eekelen, et al. · Lecture notes in computer science · 49

PDF

Reasoning about functional programs : Sparkle, a proof assistant for Clean

2009 · M.J. de Mol · Radboud Repository (Radboud University) · 42

PDF

Proof Tool Support for Explicit Strictness

2006 · Marko van Eekelen, Maarten de Mol · Lecture notes in computer science · 13

Proof Support for General Type Classes

2006 · Ron van Kesteren, Marko van Eekelen, et al. · Intellect Books · 6

PDF

The Mathematical Foundation of the Proof Assistant Sparkle

2007 · Maarten de Mol, M.C.J.D. van Eekelen, et al. · 5

Towards Machine-Verified Proofs for I/O

2003 · Malcolm Dowse, Andrew Butterfield, et al. · Radboud Repository (Radboud University) · 5

PDF

Proving Properties of Lazy Functional Programs with Sparkle

2008 · Maarten de Mol, Marko van Eekelen, et al. · Lecture notes in computer science · 4

On A Graph Formalism for Ordered Edges

2024 · Mol, Maarten, Rensink, Arend · Technische Universität Berlin – Universitätsbibliothek · 3

Graph Transforming Java Data

2012 · Maarten de Mol, Arend Rensink, et al. · Lecture notes in computer science · 3

PDF

An Arrow Based Semantics for Interactive Applications

2007 · Peter Achten, Marko van Eekelen, et al. · 3

EditorArrow: An arrow-based model for editor-based programming

2012 · PETER ACHTEN, MARKO VAN EEKELEN, et al. · Journal of Functional Programming · 2

PDF

A GROOVE Solution for the BPMN to BPEL Model Transformation

2009 · M.J. de Mol, Maria Zimakova · University of Twente Research Information · 2

Proving lazy folklore with mixed lazy/strict semantics

2007 · Marko van Eekelen, Maarten de Mol · Radboud Repository (Radboud University) · 2

Mixed Lazy/Strict Graph Semantics

2004 · M.C.J.D. van Eekelen, M.J. de Mol · 2

An Effective Proof Rule for General Type Classes

2004 · Ron van Kesteren, M.C.J.D. van Eekelen, et al. · 2

A prototype dedicated theorem prover for Clean

1998 · M.J. de Mol, M.C.J.D. van Eekelen · 2

Formal Semantics of the CHART Transformation Language

2011 · de Maarten Mol, Arend Rensink · CTIT technical reports series · 1

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

2011 · Amir Hossein Ghamarian, Maarten de Mol, et al. · Electronic Proceedings in Theoretical Computer Science · 1

A Single-Step Term-Graph Reduction System for Proof Assistants

2008 · Maarten de Mol, Marko van Eekelen, et al. · Lecture notes in computer science · 1

Noninvasive regelbasierte Graphtransformation für Java

2014 · James J. Hunt, Arend Rensink, et al. · University of Twente Research Information

PDF

Beautiful Code, Beautiful Proof?

2013 · Maarten de Mol, Marko van Eekelen · Lecture notes in computer science

ICGT 2010 Doctoral Symposium

2010 · Andrea Corradini, Maarten de Mol · Lecture notes in computer science

A common Arrow based semantics for GEC and iData applications

2008 · Peter Achten, M.C.J.D. van Eekelen, et al. · Radboud Repository (Radboud University)

PDF

Confluent Term--Graph Reduction for Computer--Aided Formal Reasoning

2007 · Maarten de Mol, M.C.J.D. van Eekelen, et al.

Works count: 37

Citation count: 320

H-index: 5

I10-index: 4