Peter Achten

An Introduction to iTasks: Defining Interactive Work Flows for the Web (2009)

In this paper we report on our experience with the functional framework Soccer-Fun, which is a domain specific language for simulating football. It has been developed for an introductory course in...

Rinus Plasmeijer, Peter Achten, Pieter Koopman

Interactively Probing Quiescent Properties of Object I/O Applications – A Feasibility Study – (2008)

iData For The World Wide Web – Generic Programming Techniques for High-Level Server-Side Web Scripting – (2008)

Abstract. In this paper we show how application-users can interactively experiment with Object I/O applications of arbitrary size in order to find its temporary, conditional, or invariant properties....

Rinus Plasmeijer, Peter Achten, Javier Pomer Tendillo

Abstract. In this paper we present the iData Toolkit. This toolkit offers web programmers a novel approach to programming interactive, dynamic web-sites with state on a high level of abstraction. The...

GEC: a toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (2008)

Chapter 1 Disjoint Forms in Graphical User Interfaces (2008)

Er Evers, Peter Achten, Rinus Plasmeijer

Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (structured) values using...

GEC: a toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (2008)

Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden

Abstract. GUI programming is notoriously tedious. By using generic functions that create Graphical Editor Components (GECs), it becomes possible to define user interfaces without any knowledge of low...

Towards A Unified Semantic Model For Interactive Applications Using Arrows And Generic Editors (2008)

Generic Editors for the World Wide Web (2008)

In slightly less than two decades Graphical User Interfaces (GUI) have become standard in presenting the user a pleasant and intuitive interface to software applications. Two major paradigms have...

When Generic Functions Use Dynamic Values (2008)

Abstract. In these lecture notes we present a novel toolkit to program web applications that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolkit. We...

An Arrow Based Semantics for Interactive Applications (2008)

Abstract. Dynamic types allow strongly typed programs to link in external code at run-time in a type safe way. Generic programming allows programmers to write code schemes that can be specialized at...

Peter Achten, Marko Van Eekelen, Maarten De Mol, Rinus Plasmeijer

Interactive applications, whether they run on the desktop or as a web application, can be considered to be collections of interconnected editors that allow users to manipulate data. This is the view...

ABSTRACT Arrows for Generic Graphical Editor Components (2008)

Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden

GUI programming is hard, even for prototyping purposes.

The Feasibility of Interactively Probing Quiescent Properties of GUI Applications (2008)

A Conference Management System based on the iData Toolkit (2008)

Abstract. In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition systems with...

Generic Editors for the World Wide Web (2008)

Abstract. The iData Toolkit is a purely functional toolkit for the Clean programming language to create highly dynamic, interactive, thin client web applications on a high level of abstraction. Its...

Dynamic Values Need Polytypic Functions – Draft – (2008)

Abstract. In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolkit. We...

GEC: a toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (2008)

Abstract. To do. 1

Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden

GUI programming is notoriously tedious. By using generic functions that create Graphical Editor Components (GECs), it becomes possible to define user interfaces without any knowledge of low level I/O...

1 (2007)

Peter Achten, Simon Peyton Jones

Abstract. Pure, functional programming languages oer several solutions to construct Graphical User Interfaces (GUIs). In this paper we report on a project in which we port the Clean Object I/O...

The Ins and Outs of Clean I/0 (2007)

iTasks: executable specifications of interactive work flow systems for the web (2007)

Functional programming languages have banned assignment because of its undesirable properties. The reward of this rigorous decision is that functional programming languages are side-effect free....

1 (2007)

Peter Achten, Ralf Hinze

Abstract. In this paper we discuss the surprisingly elegant interaction between two lines of rather independent research, namely generic (or polytypic) programming and dynamic types. We show how the...

Rinus Plasmeijer, Peter Achten, Pieter Koopman

In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are automated systems in...

Model-based testing of thin-client web applications (2006)

Pieter Koopman, Rinus Plasmeijer, Peter Achten

Abstract. In this paper we present a novel automated, on-line, modelbased testing system for on-the-fly testing of thin-client web applications. Web applications are specified by means of Extended...

Model-based testing of thin-client web applications (2006)

Pieter Koopman, Peter Achten, Rinus Plasmeijer

Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their interface. Typical...

iData For The World Wide Web - Programming Interconnected Web Forms (2006)

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (2005)

Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on a high level of abstraction. The key element of this toolkit...

Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden

Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without any knowledge of lowlevel I/O...

Programming Generic Graphical User Interfaces (2005)

Peter Achten, Marko V. Eekelen, Rinus Plasmeijer, Arjen V. Weelden

Abstract. The GEC Toolkit offers to programmers a high-level, generic style of programming Graphical User Interfaces (GUIs). Programmers are not concerned with low-level widget plumbing. Instead,...

The Implementation of iData - A Case Study in Generic Programming (2005)

The Implementation of iData - A Case Study in Generic Programming (2005)

Abstract. The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this toolkit...

Compositional Model-Views with Generic Graphical User Interfaces (2004)

Abstract. The iData Toolkit is a toolkit that allows programmers to create interactive, dynamic web applications with state on a high level of abstraction. The key element of this toolkit is the...

P. Achten, M. Van Eekelen, R. Plasmeijer, Peter Achten, Marko Van Eekelen, Rinus Plasmeijer

Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model contains no GUI...

Weelden. Automatic Generation of Editors for Higher-Order Data Structures (2004)

P. Achten, M. Van Eekelen, R. Plasmeijer, A. Van Weelden, Peter Achten, Marko Van Eekelen, ...

Abstract. With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional way,...

Arrows for Generic Graphical Editor Components (2004)

Achten Van Eekelen, P. Achten, M. Van Eekelen, R. Plasmeijer, A. Van Weelden, Peter Achten, ...

GUI programming is hard, even for prototyping purposes. In this paper we present the Graphical Editor Component toolkit in which GUIs can be created in an abstract and compositional way. The basic...

Compositional Model-Views with Generic Graphical User Interfaces (2004)

Automatic Generation of Editors for Higher-Order Data Structures (2004)

Creating GUI programs is hard even for prototyping purposes.

Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden

With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional way, using...

Automatic Generation of Editors for Higher-Order Data Structures (2004)

Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden

With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional way, using...

Arrows for (2004)

Generic Graphical Editor, Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden

GUI programming is hard, even for prototyping purposes. In this paper we present the Graphical Editor Component toolkit in which GUIs can be created in an abstract and compositional way. The basic...

Compositional Model-Views with Generic Graphical User Interfaces (2004)

A functional programming technique for forms in graphical user interfaces (2004)

Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model contains no GUI...

Er Evers, Peter Achten, Jan Kuper

Abstract. This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (GUI)...

A functional programming technique for forms in graphical user interfaces (2004)

Er Evers, Peter Achten, Jan Kuper

Abstract. This paper presents FunctionalForms, a new combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (GUI)...

Abstract. It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In this paper...

Abstract. It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications oer limited functionality. In this paper we...

When Generic Functions Use Dynamic Values (2003)

It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications o#er limited functionality. In this paper we...

Dynamic types allow strongly typed programs to link in external code at run-time in a type safe way. Generic programming allows programmers to write code schemes that can be specialized at...

Dynamic Values Need Polytypic Functions (2002)

Abstract. It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In this paper...

Combining Generics and Dynamics (2002)

To do.

Peter Achten, Ralf Hinze

Abstract. In this paper we discuss the surprisingly elegant interaction between two lines of rather independent research, namely generic (or polytypic) programming and dynamic types. We show how the...

Porting the Clean Object I/O Library to Haskell (2001)

Peter Achten, Simon Peyton Jones

Pure, functional programming languages oer several solutions to construct Graphical User Interfaces (GUIs). In this paper we report on a project in which we port the Clean Object I/O library to...

Porting the Clean Object I/O Library to Haskell (2000)

Peter Achten, Simon Peyton Jones

. Pure, functional programming languages oer several solutions to construct Graphical User Interfaces (GUIs). In this paper we report on a project in progress in which we port the Clean Object I/O...

Proving the Temporal Properties of the Unique World (1999)

Zoltán Horváth, Peter Achten, Tamás Kozsik, Rinus Plasmeijer

The behavior of concurrent and parallel programs can be specified in a functional style. We introduced a relational model for synthesizing abstract parallel imperative programs earlier. In this paper...

The implementation of interactive local state transition systems in Clean (1999)

Verification of the Temporal Properties of Dynamic Clean Processes (1999)

. The functional programming language Clean offers an extensive library, the object I/O library, to programmers to create interactive applications that use Graphical User Interfaces (GUI). Programs...

Zoltan Horvath, Peter Achten, Tamas Kozsik, Rinus Plasmeijer

The behavior of concurrent and parallel programs can be speci ed in a functional style. We introduced a relational model for synthesizing abstract parallel imperative programs this way earlier. In...

Interactive Functional Objects in Clean (1997)

Interactive Functional Objects in Clean (1997)

. The functional programming language Clean has a high level I/O system (version 0.8) in which complex yet efficient interactive programs can be created. In this paper we present its successor...

Using Type and Constructor Classes to Interpret Object Structures (1995)

The functional programming language Clean has a high level I/O system (version 0.8) in which complex yet ecient interactive programs can be created. In this paper we present its successor (version...

Concurrent Interactive Processes in a Pure Functional Language (1995)

this paper we present a small framework in a pure, strongly typed, functional language in which we can define objects of arbitrary state and objects that consist of objects of arbitrary state. The...

The Ins and Outs of Clean I/O (1994)

In this paper we present an operational semantics for concurrent interactive processes in the purely functional programming language Clean. An interactive process is in essence a state transition...

A Framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language Clean (1994)

Functional programming languages have banned assignment because of its undesirable properties. The reward of this rigorous decision is that functional programming languages are side-effect free....

A Framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language Clean (1994)

In this paper we present a functional interleaved Event I/O system. This system is a generalization of the Event I/O system as incorporated into the lazy, purely functional programming language...

High Level Specification of I/O in Functional Languages (1993)

In this paper we present a functional interleaved Event I/O system . This system is a generalization of the Event I/O system as incorporated into the lazy, purely functional programming language...

Peter Achten, John Van Groningen, Rinus Plasmeijer

The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects. Furthermore,...

The Beauty and the Beast (1992)