Travelled to:1 × Estonia
1 × France
1 × Ireland
1 × Romania
2 × Italy
2 × Sweden
2 × The Netherlands
2 × USA
2 × United Kingdom
3 × Germany
Collaborated with:M.J.Plasmeijer M.d.Mol R.Plasmeijer P.Achten S.Smetsers O.Shkaravska A.v.Weelden C.Köppe S.Hoppenbrouwers L.Lensink A.Tamalet R.v.Kesteren M.Dowse A.Butterfield J.Cox E.Bouwers J.Visser T.H.Zörner P.W.M.Koopman T.H.Brus M.O.v.Leer A.Alimarine
Talks about:function (10) program (6) proof (4) graph (4) languag (3) generic (3) clean (3) size (3) prototyp (2) interfac (2)
Person: Marko C. J. D. van Eekelen
DBLP: Eekelen:Marko_C=_J=_D=_van
Contributed to:
2015
2012
2008
2007
2007
20072005
20042004
20042003200120001999
19961995
1987
2005Wrote 20 papers:
- ICSE-v2-2015-CoxBEV #dependence
- Measuring Dependency Freshness in Software Systems (JC, EB, MCJDvE, JV), pp. 109–118.
- ICSE-v2-2015-KoppeEH #case study #collaboration #student
- Improving Student Group Work with Collaboration Patterns: A Case Study (CK, MCJDvE, SH), pp. 303–306.
- IFM-2012-LensinkSE #concurrent #framework #proving #source code
- A Proof Framework for Concurrent Programs (LL, SS, MCJDvE), pp. 174–190.
- IFL-2008-ShkaravskaET #functional #semantics #source code
- Collected Size Semantics for Functional Programs over Lists (OS, MCJDvE, AT), pp. 118–137.
- AGTIVE-2007-MolEP #proving #reduction
- A Single-Step Term-Graph Reduction System for Proof Assistants (MdM, MCJDvE, RP), pp. 184–200.
- CEFP-2007-MolEP #functional #lazy evaluation #proving #source code
- Proving Properties of Lazy Functional Programs with Sparkle (MdM, MCJDvE, RP), pp. 41–86.
- TLCA-2007-ShkaravskaKE #analysis #first-order #polynomial
- Polynomial Size Analysis of First-Order Functions (OS, RvK, MCJDvE), pp. 351–365.
- IFL-2005-EekelenM #proving #strict #tool support
- Proof Tool Support for Explicit Strictness (MCJDvE, MdM), pp. 37–54.
- AFP-2004-AchtenEPW04 #agile #interactive #named #prototype #tool support #type safety
- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (PA, MCJDvE, RP, AvW), pp. 210–244.
- IFL-2004-DowseBE #concurrent #functional #reasoning
- Reasoning About Deterministic Concurrent Functional I/O (MD, AB, MCJDvE), pp. 177–194.
- PADL-2004-AchtenEP #composition #user interface #visual notation
- Compositional Model-Views with Generic Graphical User Interfaces (PA, MCJDvE, MJP), pp. 39–55.
- IFL-2003-AchtenD #user interface #visual notation
- Generic Graphical User Interfaces (PA, MCJDvE, RP), pp. 152–167.
- IFL-2001-MolEP #functional #proving #theorem proving
- Theorem Proving for Functional Programmers (MdM, MCJDvE, MJP), pp. 55–71.
- IFL-2000-ZornerKEP #functional
- Polygonizing Implicit Surfaces in a Purely Functional Way (THGZ, PWMK, MCJDvE, MJP), pp. 158–175.
- AGTIVE-1999-MolE #prototype #proving
- A Proof Tool Dedicated to Clean — The First Prototype (MdM, MCJDvE), pp. 271–278.
- AGTIVE-1999-PlasmeijerE #functional #graph grammar #mobile
- Term Graph Rewriting and Mobile Expressions in Functional Languages (MJP, MCJDvE), pp. 1–13.
- CSL-1996-EekelenSP #functional #graph grammar #programming language #semantics
- Graph Rewriting Semantics for Functional Programming Languages (MCJDvE, SS, MJP), pp. 106–128.
- AFP-1995-EekelenP95 #functional #performance #source code
- Constructing Medium Sized Efficient Functional Programs in Clean (MCJDvE, MJP), pp. 183–227.
- FPCA-1987-BrusELP #functional #graph #named
- CLEAN: A language for functional graph writing (THB, MCJDvE, MOvL, MJP), pp. 364–384.
- Haskell-2005-AlimarineSWEP #programming
- There and back again: arrows for invertible programming (AA, SS, AvW, MCJDvE, RP), pp. 86–97.