default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Achten
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[e7]Peter Achten, Elena Machkasova:
Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, TFPIE 2021 / 2022, Kraków, Poland (online), 16th February 2021 / 16th March 2022. EPTCS 363, 2022 [contents]- 2021
- [j7]Peter Achten
:
Segments: An alternative rainfall problem. J. Funct. Program. 31: e23 (2021)
2010 – 2019
- 2019
- [e6]Peter Achten, Heather Miller:
Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018. EPTCS 295, 2019 [contents] - 2017
- [c51]Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer:
A Distributed Dynamic Architecture for Task Oriented Programming. IFL 2017: 7:1-7:12 - [c50]Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Maintaining Separation of Concerns Through Task Oriented Software Development. TFP 2017: 19-38 - 2016
- [c49]Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer:
Towards the Layout of Things. IFL 2016: 3:1-3:13 - 2015
- [c48]Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Static and Dynamic Visualisations of Monadic Programs. CEFP 2015: 341-379 - [c47]Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Static and dynamic visualisations of monadic programs. IFL 2015: 1:1-1:13 - 2014
- [c46]Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer:
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. IFL 2014: 7:1-7:13 - [c45]Jurriën Stutterheim, Rinus Plasmeijer, Peter Achten:
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. Trends in Functional Programming 2014: 122-141 - [e5]James L. Caldwell, Philip K. F. Hölzenspies, Peter Achten:
Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014. EPTCS 170, 2014 [contents] - 2013
- [j6]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): 185-224 (2013) - [j5]Peter Achten:
Dynamic high-frequency behaviour of the swash plate in a variable displacement axial piston pump. J. Syst. Control. Eng. 227(6): 529-540 (2013) - [c44]Peter Achten:
Why Functional Programming Matters to Me. The Beauty of Functional Code 2013: 79-96 - [c43]Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer:
An Introduction to Task Oriented Programming. CEFP 2013: 187-245 - [c42]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model-Based Shrinking for State-Based Testing. Trends in Functional Programming 2013: 107-124 - [e4]Peter Achten, Pieter W. M. Koopman:
The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Lecture Notes in Computer Science 8106, Springer 2013, ISBN 978-3-642-40354-5 [contents] - 2012
- [j4]Peter Achten, Matti Linjama, Rudolf Scheidl, Stefan Schmidt:
Discussion: Is the future of fluid power digital? J. Syst. Control. Eng. 226(6): 724-727 (2012) - [c41]Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman:
Task-oriented programming in a pure functional language. PPDP 2012: 195-206 - [e3]Marco T. Morazán, Peter Achten:
Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, University of St. Andrews, Scotland, UK, 11th June 2012. EPTCS 106, 2012 [contents] - 2011
- [j3]Peter Achten:
The Soccer-Fun project. J. Funct. Program. 21(1): 1-19 (2011) - [c40]Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels:
Defining Multi-user Web Applications with iTasks. CEFP 2011: 46-92 - [c39]Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer:
Embedding polymorphic dynamic typing. WGP@ICFP 2011: 25-36 - [c38]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model Based Testing with Logical Properties versus State Machines. IFL 2011: 116-133 - [c37]Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels:
Getting a grip on tasks that coordinate tasks. LDTA 2011: 1 - [c36]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: 151-160 - [c35]Jeroen Henrix, Rinus Plasmeijer, Peter Achten:
GiN: A Graphical Language and Tool for Defining iTask Workflows. Trends in Functional Programming 2011: 163-178 - 2010
- [j2]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): 465-487 (2010) - [c34]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: 49-60 - [c33]Thomas van Noort, Peter Achten, Rinus Plasmeijer:
Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ICFP-WGP 2010: 73-84 - [c32]Steffen Michels, Rinus Plasmeijer, Peter Achten:
iTask as a New Paradigm for Building GUI Applications. IFL 2010: 153-168 - [c31]Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten:
Embedding a web-based workflow management system in a functional language. LDTA 2010: 7
2000 – 2009
- 2009
- [c30]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267 - [c29]Thomas van Noort, Peter Achten, Rinus Plasmeijer:
A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes. IFL 2009: 179-197 - [e2]Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter W. M. Koopman:
Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009. Trends in Functional Programming 10, Intellect 2009, ISBN 978-1-84150-405-6 [contents] - 2008
- [c28]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: 306-329 - [c27]Peter Achten:
Teaching functional programming with soccer-fun. FDPE@ICFP 2008: 61-72 - [c26]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Testing and Validating the Quality of Specifications. ICST Workshops 2008: 41-52 - [c25]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
An Executable and Testable Semantics for iTasks. IFL 2008: 212-232 - [c24]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315 - [c23]Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten:
Declarative Ajax and client side evaluation of workflows using iTasks. PPDP 2008: 56-66 - [c22]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231 - [e1]Peter Achten, Pieter W. M. Koopman, Marco T. Morazán:
Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008. Trends in Functional Programming 9, Intellect 2008, ISBN 978-1-84150-277-9 [contents] - 2007
- [c21]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40 - [c20]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152 - 2006
- [c19]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132 - [c18]Rinus Plasmeijer, Peter Achten:
iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS 2006: 242-258 - [c17]Rinus Plasmeijer, Peter Achten:
A Conference Management System Based on the iData Toolkit. IFL 2006: 108-125 - 2005
- [c16]Rinus Plasmeijer, Peter Achten:
Generic Editors for the World Wide Web. CEFP 2005: 1-34 - [c15]Rinus Plasmeijer, Peter Achten:
The Implementation of iData. IFL 2005: 106-123 - 2004
- [c14]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: 210-244 - [c13]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden:
Automatic Generation of Editors for Higher-Order Data Structures. APLAS 2004: 262-279 - [c12]Peter Achten:
The Feasibility of Interactively Probing Quiescent Properties of GUI Applications. IFL 2004: 17-34 - [c11]Sander Evers, Peter Achten, Jan Kuper:
A Functional Programming Technique for Forms in Graphical User Interfaces. IFL 2004: 35-51 - [c10]Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55 - [c9]Sander Evers, Peter Achten, Rinus Plasmeijer:
Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128 - 2003
- [c8]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Generic Graphical User Interfaces. IFL 2003: 152-167 - 2002
- [c7]Peter Achten, Artem Alimarine, Marinus J. Plasmeijer:
When Generic Functions Use Dynamic Values. IFL 2002: 17-33 - 2000
- [c6]Peter Achten, Simon L. Peyton Jones:
Porting the Clean Object I/O Library to Haskell. IFL 2000: 194-213
1990 – 1999
- 1999
- [c5]Mike Wiering, Peter Achten, Marinus J. Plasmeijer:
Using Clean for Platform Games. IFL 1999: 1-17 - [c4]Peter Achten, Marinus J. Plasmeijer:
The Implementation of Interactive Local State Transition Systems in Clean. IFL 1999: 115-130 - 1997
- [c3]Peter Achten, Marinus J. Plasmeijer:
Interactive Functional Objects in Clean. Implementation of Functional Languages 1997: 304-321 - 1995
- [j1]Peter Achten, Marinus J. Plasmeijer:
The Ins and Outs of Clean I/O. J. Funct. Program. 5(1): 81-110 (1995) - [c2]Peter Achten:
A Functional Framework for Deterministically Interleaved Interactive Programs. PLILP 1995: 451-452 - 1992
- [c1]Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer:
High Level Specification of I/O in Functional Languages. Functional Programming 1992: 1-17
Coauthor Index
aka: Rinus Plasmeijer
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
