Maarten de Mol
Maarten de Mol
Postdoc, University of Twente
Verified email at xs4all.nl
Title
Cited by
Cited by
Year
Modelling and analysis using GROOVE
AH Ghamarian, M de Mol, A Rensink, E Zambon, M Zimakova
International journal on software tools for technology transfer 14 (1), 15-40, 2012
1672012
Theorem proving for functional programmers
M De Mol, M Van Eekelen, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 55-71, 2001
1092001
Proof tool support for explicit strictness
M Van Eekelen, M De Mol
Symposium on Implementation and Application of Functional Languages, 37-54, 2005
212005
Proof support for general type classes
R Van Kesteren, M Van Eekelen, M De Mol
Trends in Functional Programming 5, 1-16, 2006
152006
A proof tool dedicated to Clean
M de Mol, M van Eekelen
International Workshop on Applications of Graph Transformations with …, 1999
121999
Proving Properties of Lazy Functional Programs with Sparkle
M De Mol, M Van Eekelen, R Plasmeijer
Central European Functional Programming School, 41-86, 2007
112007
Mixed lazy/strict graph semantics
M van Eekelen, MJ de Mol
[Sl]: Christian-Albrechts-Universitaet zu Kiel, 2004
112004
Reflections on Type Theory, λ-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday
M van Eekelen, M de Mol
Chapter Proving Lazy Folklore with Mixed Lazy/Strict Semantics, 2007
102007
Towards machine-verified proofs for I/O
M Dowse, A Butterfield, M van Eekelen, MJ de Mol, MJ Plasmeijer
[Sl]: Christian-Albrechts-Universitaet zu Kiel, 2004
102004
The mathematical foundation of the proof assistant Sparkle
M De Mol, M Van Eekelen, R Plasmeijer
92007
Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics
M van Eekelen, M Mol
[Sl]: Departamento de Sistemas Informaticos y Programacion, Univer, 2002
92002
Reasoning about Functional Programs: Sparkle, a proof assistant for Clean
MJ De Mol
[Sl: sn], 2009
82009
On a graph formalism for ordered edges
M De Mol, A Rensink
Electronic Communications of the EASST 29, 2010
62010
Proving lazy folklore with mixed lazy/strict semantics
M van Eekelen, M Mol
Nijmegen: Radboud University Nijmegen, 2007
62007
Graph transforming Java data
M De Mol, A Rensink, JJ Hunt
International Conference on Fundamental Approaches to Software Engineering …, 2012
52012
A common arrow based semantics for GEC and iData applications
PM Achten, M van Eekelen, MJ de Mol, MJ Plasmeijer
onbekend: Institute for Computing and Information Sciences, 2008
52008
An Arrow based semantics for interactive applications
P Achten, M van Eekelen, M Mol, R Plasmeijer
City College, New York: Seton Hall University, 2007
52007
A prototype dedicated theorem prover for clean
MJ de Mol, M van Eekelen
Nijmegen: Computing Science Institute, 1999
51999
Sparkle: A functional theorem prover
M de Mol, M van Eekelen, R Plasmeijer
Proceedings of the 13th International Workshop, IFL2001, number LNCS2312, 55, 0
5
EditorArrow: An arrow-based model for editor-based programming
P Achten, M Van Eekelen, M De Mol, R Plasmeijer
Journal of Functional Programming 23 (2), 185, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20