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 × Belgium
1 × Cyprus
1 × Estonia
1 × Ireland
1 × Japan
2 × Romania
2 × Spain
3 × United Kingdom
4 × Germany
4 × Hungary
4 × The Netherlands
6 × USA
Collaborated with:
R.Plasmeijer P.W.M.Koopman M.J.Plasmeijer B.Lijnse S.Michels M.C.J.D.v.Eekelen J.Stutterheim T.v.Noort J.M.Jansen S.L.P.Jones J.H.G.v.Groningen S.Evers J.Kuper A.Alimarine M.Wiering L.Domoszlai A.v.Weelden
Talks about:
web (9) interact (8) itask (8) program (7) function (6) system (6) applic (6) clean (6) generic (5) task (5)

Person: Peter Achten

DBLP DBLP: Achten:Peter

Facilitated 2 volumes:

TFPIE 2014Ed
TFPIE 2012Ed

Contributed to:

IFL 20142014
CEFP 20132013
PPDP 20122012
CEFP 20112011
IFL 20112011
LDTA 20112011
PEPM 20112011
IFL 20102010
LDTA 20102010
CEFP 20092009
AFP 20082008
IFL 20082008
PADL 20082008
PPDP 20082008
CEFP 20072007
ICFP 20072007
FATES/RV 20062006
FLOPS 20062006
IFL 20062006
CEFP 20052005
IFL 20052005
AFP 20042004
IFL 20042004
PADL 20042004
IFL 20032003
IFL 20022002
IFL 20002000
IFL 19991999
IFL 19971997
PPDP 19951995
CEFP 20152015
Haskell 20102010

Wrote 34 papers:

IFL-2014-AchtenSDP #composition #interactive #programming #scalability
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics (PA, JS, LD, RP), p. 7.
CEFP-2013-AchtenKP #programming
An Introduction to Task Oriented Programming (PA, PWMK, RP), pp. 187–245.
PPDP-2012-PlasmeijerLMAK #functional #programming
Task-oriented programming in a pure functional language (RP, BL, SM, PA, PWMK), pp. 195–206.
CEFP-2011-PlasmeijerALM #multi #web
Defining Multi-user Web Applications with iTasks (RP, PA, BL, SM), pp. 46–92.
IFL-2011-KoopmanAP #logic #modelling #state machine #testing
Model Based Testing with Logical Properties versus State Machines (PWMK, PA, RP), pp. 116–133.
LDTA-2011-PlasmeijerLAM #coordination
Getting a grip on tasks that coordinate tasks (RP, BL, PA, SM), p. 1.
PEPM-2011-PlasmeijerAKLNG #evolution #runtime #type safety #workflow
iTasks for a change: type-safe run-time change in dynamically evolving workflows (RP, PA, PWMK, BL, TvN, JHGvG), pp. 151–160.
IFL-2010-MichelsPA #paradigm #user interface
iTask as a New Paradigm for Building GUI Applications (SM, RP, PA), pp. 153–168.
LDTA-2010-JansenPKA #functional #workflow
Embedding a web-based workflow management system in a functional language (JMJ, RP, PWMK, PA), p. 7.
CEFP-2009-KoopmanPA #consistency #effectiveness #semantics
An Effective Methodology for Defining Consistent Semantics of Complex Systems (PWMK, RP, PA), pp. 224–267.
AFP-2008-PlasmeijerAKLN08 #case study
An iTask Case Study: A Conference Management System (RP, PA, PWMK, BL, TvN), pp. 306–329.
IFL-2008-KoopmanPA #execution #semantics
An Executable and Testable Semantics for iTasks (PWMK, RP, PA), pp. 212–232.
PADL-2008-KoopmanAP #modelling #navigation #testing #web
Model-Based Testing of Thin-Client Web Applications and Navigation Input (PWMK, PA, RP), pp. 299–315.
PPDP-2008-PlasmeijerJKA #ajax #declarative #evaluation #using #workflow
Declarative Ajax and client side evaluation of workflows using iTasks (RP, JMJ, PWMK, PA), pp. 56–66.
CEFP-2007-PlasmeijerAK #interactive #web
An Introduction to iTasks: Defining Interactive Work Flows for the Web (RP, PA, PWMK), pp. 1–40.
ICFP-2007-PlasmeijerAK #execution #interactive #named #specification #web
iTasks: executable specifications of interactive work flow systems for the web (RP, PA, PWMK), pp. 141–152.
FATES-RV-2006-KoopmanPA #modelling #testing #web
Model-Based Testing of Thin-Client Web Applications (PWMK, RP, PA), pp. 115–132.
FLOPS-2006-PlasmeijerA #programming #web
iData for the World Wide Web — Programming Interconnected Web Forms (RP, PA), pp. 242–258.
IFL-2006-PlasmeijerA #tool support
A Conference Management System Based on the iData Toolkit (RP, PA), pp. 108–125.
CEFP-2005-PlasmeijerA #editing #web
Generic Editors for the World Wide Web (RP, PA), pp. 1–34.
IFL-2005-PlasmeijerA #implementation
The Implementation of iData (RP, PA), pp. 106–123.
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-Achten #user interface
The Feasibility of Interactively Probing Quiescent Properties of GUI Applications (PA), pp. 17–34.
IFL-2004-EversAK #functional #programming #user interface #visual notation
A Functional Programming Technique for Forms in Graphical User Interfaces (SE, PA, JK), pp. 35–51.
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-2002-AchtenAP
When Generic Functions Use Dynamic Values (PA, AA, MJP), pp. 17–33.
IFL-2000-AchtenJ #haskell #library #migration
Porting the Clean Object I/O Library to Haskell (PA, SLPJ), pp. 194–213.
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-1997-AchtenP #functional #interactive
Interactive Functional Objects in Clean (PA, MJP), pp. 304–321.
PLILP-1995-Achten #framework #functional #interactive #source code
A Functional Framework for Deterministically Interleaved Interactive Programs (PA), pp. 451–452.
CEFP-2015-StutterheimAP #monad #source code #visualisation
Static and Dynamic Visualisations of Monadic Programs (JS, PA, RP), pp. 341–379.
Haskell-2010-GroningenNAKP #compilation #haskell
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler (JHGvG, TvN, PA, PWMK, RP), pp. 49–60.

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.