BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
2 × Germany
2 × Sweden
2 × United Kingdom
3 × The Netherlands
3 × USA
Collaborated with:
M.C.J.D.v.Eekelen P.Achten A.Alimarine P.W.M.Koopman S.Smetsers R.W.Schreur M.Vervoort A.v.Weelden P.R.Serrarens M.d.Mol M.Wiering J.Tretmans T.H.Zörner E.Nöcker J.H.G.v.Groningen T.H.Brus M.O.v.Leer
Talks about:
function (12) clean (8) languag (5) generic (5) program (3) effici (3) graph (3) dynam (3) lazi (3) construct (2)

Person: Marinus J. Plasmeijer

DBLP DBLP: Plasmeijer:Marinus_J=

Facilitated 1 volumes:

FPLE 1995Ed

Contributed to:

IFL 20042004
PADL 20042004
IFL 20022002
IFL 20012001
IFL 20002000
AGTIVE 19991999
IFL 19991999
IFL 19981998
IFL 19971997
CSL 19961996
AFP 19951995
FPCA 19911991
FPCA 19871987

Wrote 19 papers:

IFL-2004-SchreurP
Dynamic Construction of Generic Functions (RWS, MJP), pp. 160–176.
PADL-2004-AchtenEP #composition #user interface #visual notation
Compositional Model-Views with Generic Graphical User Interfaces (PA, MCJDvE, MJP), pp. 39–55.
IFL-2002-AchtenAP
When Generic Functions Use Dynamic Values (PA, AA, MJP), pp. 17–33.
IFL-2002-KoopmanATP #automation #named #testing
Gast: Generic Automated Software Testing (PWMK, AA, JT, MJP), pp. 84–100.
IFL-2002-VervoortP #functional #lazy evaluation
Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.
IFL-2002-WeeldenP #functional #operating system #towards
Towards a Strongly Typed Functional Operating System (AvW, MJP), pp. 215–231.
IFL-2001-AlimarineP #programming
A Generic Programming Extension for Clean (AA, MJP), pp. 168–185.
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-PlasmeijerE #functional #graph grammar #mobile
Term Graph Rewriting and Mobile Expressions in Functional Languages (MJP, MCJDvE), pp. 1–13.
IFL-1999-AchtenP #implementation #interactive
The Implementation of Interactive Local State Transition Systems in Clean (PA, MJP), pp. 115–130.
IFL-1999-WieringAP #framework #game studies #platform #using
Using Clean for Platform Games (MW, PA, MJP), pp. 1–17.
IFL-1998-KoopmanP #combinator #parsing #performance
Efficient Combinator Parsers (PWMK, MJP), pp. 120–136.
IFL-1998-SerrarensP #concurrent #message passing
Explicit Message Passing for Concurrent Clean (PRS, MJP), pp. 229–245.
IFL-1997-AchtenP #functional #interactive
Interactive Functional Objects in Clean (PA, MJP), pp. 304–321.
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-1991-SmetsersNGP #functional #generative #lazy evaluation #performance
Generating Efficient Code for Lazy Functional Languages (SS, EN, JHGvG, MJP), pp. 592–617.
FPCA-1987-BrusELP #functional #graph #named
CLEAN: A language for functional graph writing (THB, MCJDvE, MOvL, MJP), pp. 364–384.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.