Peter Achten

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 4

Top Topics

Datalog Queries

Functional Programming

Cf Loadingtexthtml

Top Venues

J. Syst. Control. Eng.

J. Funct. Program.

Trends in Functional Programming

Publications

Peter Achten
Segments: An alternative rainfall problem. J. Funct. Program. 31 (2021)
Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer
A Distributed Dynamic Architecture for Task Oriented Programming. IFL (2017)
Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer
Maintaining Separation of Concerns Through Task Oriented Software Development. TFP (2017)
Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer
Towards the Layout of Things. IFL (2016)
Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer
Static and dynamic visualisations of monadic programs. IFL (2015)
Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer
Static and Dynamic Visualisations of Monadic Programs. CEFP (2015)
Jurriën Stutterheim, Rinus Plasmeijer, Peter Achten
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. Trends in Functional Programming (2014)
Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. IFL (2014)
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
Model-Based Shrinking for State-Based Testing. Trends in Functional Programming (2013)
Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer
EditorArrow: An arrow-based model for editor-based programming. J. Funct. Program. 23 (2) (2013)
Peter Achten
Dynamic high-frequency behaviour of the swash plate in a variable displacement axial piston pump. J. Syst. Control. Eng. 227 (6) (2013)
Peter Achten
Why Functional Programming Matters to Me. The Beauty of Functional Code (2013)
Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer
An Introduction to Task Oriented Programming. CEFP (2013)
Peter Achten, Matti Linjama, Rudolf Scheidl, Stefan Schmidt
Discussion: Is the future of fluid power digital? J. Syst. Control. Eng. 226 (6) (2012)
Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman
Task-oriented programming in a pure functional language. PPDP (2012)
Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels
Defining Multi-user Web Applications with iTasks. CEFP (2011)
Peter Achten
The Soccer-Fun project. J. Funct. Program. 21 (1) (2011)
Jeroen Henrix, Rinus Plasmeijer, Peter Achten
GiN: A Graphical Language and Tool for Defining iTask Workflows. Trends in Functional Programming (2011)
Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer
Embedding polymorphic dynamic typing. WGP@ICFP (2011)
Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels
Getting a grip on tasks that coordinate tasks. LDTA (2011)
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen
iTasks for a change: type-safe run-time change in dynamically evolving workflows. PEPM (2011)
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
Model Based Testing with Logical Properties versus State Machines. IFL (2011)
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten
Embedding a web-based workflow management system in a functional language. LDTA (2010)
John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. Haskell (2010)
Steffen Michels, Rinus Plasmeijer, Peter Achten
iTask as a New Paradigm for Building GUI Applications. IFL (2010)
Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. High. Order Symb. Comput. 23 (4) (2010)
Thomas van Noort, Peter Achten, Rinus Plasmeijer
Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ICFP-WGP (2010)
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP (2009)
Thomas van Noort, Peter Achten, Rinus Plasmeijer
A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes. IFL (2009)
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
Testing and Validating the Quality of Specifications. ICST Workshops (2008)
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL (2008)
Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten
Declarative Ajax and client side evaluation of workflows using iTasks. PPDP (2008)
Peter Achten
Teaching functional programming with soccer-fun. FDPE@ICFP (2008)
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort
An iTask Case Study: A Conference Management System. Advanced Functional Programming (2008)
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
An Executable and Testable Semantics for iTasks. IFL (2008)
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
Validating Specifications for Model-Based Testing. Software Engineering Research and Practice (2008)
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman
An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP (2007)
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman
iTasks: executable specifications of interactive work flow systems for the web. ICFP (2007)
Rinus Plasmeijer, Peter Achten
A Conference Management System Based on the iData Toolkit. IFL (2006)
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
Model-Based Testing of Thin-Client Web Applications. FATES/RV (2006)
Rinus Plasmeijer, Peter Achten
iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS (2006)
Rinus Plasmeijer, Peter Achten
The Implementation of iData. IFL (2005)
Rinus Plasmeijer, Peter Achten
Generic Editors for the World Wide Web. CEFP (2005)
Peter Achten
The Feasibility of Interactively Probing Quiescent Properties of GUI Applications. IFL (2004)
Sander Evers, Peter Achten, Jan Kuper
A Functional Programming Technique for Forms in Graphical User Interfaces. IFL (2004)
Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Compositional Model-Views with Generic Graphical User Interfaces. PADL (2004)
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Advanced Functional Programming (2004)
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden
Automatic Generation of Editors for Higher-Order Data Structures. APLAS (2004)
Sander Evers, Peter Achten, Rinus Plasmeijer
Disjoint forms in graphical user interfaces. Trends in Functional Programming (2004)
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer
Generic Graphical User Interfaces. IFL (2003)
Peter Achten, Artem Alimarine, Marinus J. Plasmeijer
When Generic Functions Use Dynamic Values. IFL (2002)
Peter Achten, Simon L. Peyton Jones
Porting the Clean Object I/O Library to Haskell. IFL (2000)
Peter Achten, Marinus J. Plasmeijer
The Implementation of Interactive Local State Transition Systems in Clean. IFL (1999)
Mike Wiering, Peter Achten, Marinus J. Plasmeijer
Using Clean for Platform Games. IFL (1999)
Peter Achten, Marinus J. Plasmeijer
Interactive Functional Objects in Clean. Implementation of Functional Languages (1997)
Peter Achten, Marinus J. Plasmeijer
The Ins and Outs of Clean I/O. J. Funct. Program. 5 (1) (1995)
Peter Achten
A Functional Framework for Deterministically Interleaved Interactive Programs PLILP (1995)
Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer
High Level Specification of I/O in Functional Languages. Functional Programming (1992)