Peter Achten

According to our database, Peter Achten authored at least 58 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Clean for Haskell Programmers.

Mart Lubbers, Peter Achten

CoRR, 2024

2021

Segments: An alternative rainfall problem.

Peter Achten

J. Funct. Program., 2021

2017

Maintaining Separation of Concerns Through Task Oriented Software Development.

Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

A Distributed Dynamic Architecture for Task Oriented Programming.

Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016

Towards the Layout of Things.

Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015

Static and Dynamic Visualisations of Monadic Programs.

Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

2014

Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.

Jurriën Stutterheim, Rinus Plasmeijer, Peter Achten

Proceedings of the Trends in Functional Programming, 2014

Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics.

Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

2013

Dynamic high-frequency behaviour of the swash plate in a variable displacement axial piston pump.

Peter Achten

J. Syst. Control. Eng., 2013

EditorArrow: An arrow-based model for editor-based programming.

Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer

J. Funct. Program., 2013

Model-Based Shrinking for State-Based Testing.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

An Introduction to Task Oriented Programming.

Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

Why Functional Programming Matters to Me.

Peter Achten

Proceedings of the Beauty of Functional Code, 2013

2012

Discussion: Is the future of fluid power digital?

Peter Achten, Matti Linjama, Rudolf Scheidl, Stefan Schmidt

J. Syst. Control. Eng., 2012

Task-oriented programming in a pure functional language.

Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

The Soccer-Fun project.

Peter Achten

J. Funct. Program., 2011

GiN: A Graphical Language and Tool for Defining iTask Workflows.

Jeroen Henrix, Rinus Plasmeijer, Peter Achten

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

iTasks for a change: type-safe run-time change in dynamically evolving workflows.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Getting a grip on tasks that coordinate tasks.

Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels

Proceedings of the Language Descriptions, Tools and Applications, 2011

Model Based Testing with Logical Properties versus State Machines.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2011

Embedding polymorphic dynamic typing.

Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

Defining Multi-user Web Applications with iTasks.

Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.

Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán

High. Order Symb. Comput., 2010

Embedding a web-based workflow management system in a functional language.

Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

iTask as a New Paradigm for Building GUI Applications.

Steffen Michels, Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2010

Ad-hoc polymorphism and dynamic typing in a statically typed functional language.

Thomas van Noort, Peter Achten, Rinus Plasmeijer

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler.

John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009

A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes.

Thomas van Noort, Peter Achten, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2009

An Effective Methodology for Defining Consistent Semantics of Complex Systems.

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008

Validating Specifications for Model-Based Testing.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Declarative Ajax and client side evaluation of workflows using iTasks.

Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Model-Based Testing of Thin-Client Web Applications and Navigation Input.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the Practical Aspects of Declarative Languages, 2008

An Executable and Testable Semantics for iTasks.

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2008

Testing and Validating the Quality of Specifications.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Teaching functional programming with soccer-fun.

Peter Achten

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

An iTask Case Study: A Conference Management System.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort

Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007

iTasks: executable specifications of interactive work flow systems for the web.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

An Introduction to iTasks: Defining Interactive Work Flows for the Web.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

2006

A Conference Management System Based on the iData Toolkit.

Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2006

iData for the World Wide Web - Programming Interconnected Web Forms.

Rinus Plasmeijer, Peter Achten

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Model-Based Testing of Thin-Client Web Applications.

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

The Implementation of iData.

Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2005

Generic Editors for the World Wide Web.

Rinus Plasmeijer, Peter Achten

Proceedings of the Central European Functional Programming School, First Summer School, 2005

2004

Disjoint forms in graphical user interfaces.

Sander Evers, Peter Achten, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

Compositional Model-Views with Generic Graphical User Interfaces.

Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Functional Programming Technique for Forms in Graphical User Interfaces.

Sander Evers, Peter Achten, Jan Kuper

Proceedings of the Implementation and Application of Functional Languages, 2004

The Feasibility of Interactively Probing Quiescent Properties of GUI Applications.

Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2004

Automatic Generation of Editors for Higher-Order Data Structures.

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden

Proceedings of the Advanced Functional Programming, 2004

2003

Generic Graphical User Interfaces.

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002

When Generic Functions Use Dynamic Values.

Peter Achten, Artem Alimarine, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2000

Porting the Clean Object I/O Library to Haskell.

Peter Achten, Simon L. Peyton Jones

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

Using Clean for Platform Games.

Mike Wiering, Peter Achten, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

The Implementation of Interactive Local State Transition Systems in Clean.

Peter Achten, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

1997

Interactive Functional Objects in Clean.

Peter Achten, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1995

The Ins and Outs of Clean I/O.

Peter Achten, Marinus J. Plasmeijer

J. Funct. Program., 1995

A Functional Framework for Deterministically Interleaved Interactive Programs

Peter Achten

Proceedings of the Programming Languages: Implementations, 1995

1992

High Level Specification of I/O in Functional Languages.

Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer

Proceedings of the Functional Programming, 1992