Peter Achten

According to our database1, Peter Achten authored at least 56 papers between 1992 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Maintaining Separation of Concerns Through Task Oriented Software Development.
Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

A Distributed Dynamic Architecture for Task Oriented Programming.
Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016
Towards the Layout of Things.
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015
Static and dynamic visualisations of monadic programs.
Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

2014
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.
Proceedings of the Trends in Functional Programming, 2014

Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics.
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.
J. Syst. Control. Eng., 2013

EditorArrow: An arrow-based model for editor-based programming.
J. Funct. Program., 2013

Model-Based Shrinking for State-Based Testing.
Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

An Introduction to Task Oriented Programming.
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

Why Functional Programming Matters to Me.
Proceedings of the Beauty of Functional Code, 2013

2012
Discussion: Is the future of fluid power digital?
J. Syst. Control. Eng., 2012

Task-oriented programming in a pure functional language.
Proceedings of the Principles and Practice of Declarative Programming, 2012

2011
The Soccer-Fun project.
J. Funct. Program., 2011

GiN: A Graphical Language and Tool for Defining iTask Workflows.
Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

iTasks for a change: type-safe run-time change in dynamically evolving workflows.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Getting a grip on tasks that coordinate tasks.
Proceedings of the Language Descriptions, Tools and Applications, 2011

Model Based Testing with Logical Properties versus State Machines.
Proceedings of the Implementation and Application of Functional Languages, 2011

Embedding polymorphic dynamic typing.
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

Defining Multi-user Web Applications with iTasks.
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.
High. Order Symb. Comput., 2010

Embedding a web-based workflow management system in a functional language.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

iTask as a New Paradigm for Building GUI Applications.
Proceedings of the Implementation and Application of Functional Languages, 2010

Ad-hoc polymorphism and dynamic typing in a statically typed functional language.
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.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009
A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes.
Proceedings of the Implementation and Application of Functional Languages, 2009

An Effective Methodology for Defining Consistent Semantics of Complex Systems.
Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008
Validating Specifications for Model-Based Testing.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Declarative Ajax and client side evaluation of workflows using iTasks.
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.
Proceedings of the Practical Aspects of Declarative Languages, 2008

An Executable and Testable Semantics for iTasks.
Proceedings of the Implementation and Application of Functional Languages, 2008

Testing and Validating the Quality of Specifications.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Teaching functional programming with soccer-fun.
Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

An iTask Case Study: A Conference Management System.
Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007
iTasks: executable specifications of interactive work flow systems for the web.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

An Introduction to iTasks: Defining Interactive Work Flows for the Web.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

2006
A Conference Management System Based on the iData Toolkit.
Proceedings of the Implementation and Application of Functional Languages, 2006

iData for the World Wide Web - Programming Interconnected Web Forms.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Model-Based Testing of Thin-Client Web Applications.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005
The Implementation of iData.
Proceedings of the Implementation and Application of Functional Languages, 2005

Generic Editors for the World Wide Web.
Proceedings of the Central European Functional Programming School, First Summer School, 2005

2004
Disjoint forms in graphical user interfaces.
Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

Compositional Model-Views with Generic Graphical User Interfaces.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Functional Programming Technique for Forms in Graphical User Interfaces.
Proceedings of the Implementation and Application of Functional Languages, 2004

The Feasibility of Interactively Probing Quiescent Properties of GUI Applications.
Proceedings of the Implementation and Application of Functional Languages, 2004

Automatic Generation of Editors for Higher-Order Data Structures.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.
Proceedings of the Advanced Functional Programming, 2004

2003
Generic Graphical User Interfaces.
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002
When Generic Functions Use Dynamic Values.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2000
Porting the Clean Object I/O Library to Haskell.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999
Using Clean for Platform Games.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

The Implementation of Interactive Local State Transition Systems in Clean.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

1997
Interactive Functional Objects in Clean.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1995
The Ins and Outs of Clean I/O.
J. Funct. Program., 1995

A Functional Framework for Deterministically Interleaved Interactive Programs
Proceedings of the Programming Languages: Implementations, 1995

1992
High Level Specification of I/O in Functional Languages.
Proceedings of the Functional Programming, 1992


  Loading...