Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Achten
2010 – today
- 2013
[j4]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)
[c39]
[e4]Peter Achten, Pieter W. M. Koopman (Eds.): 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- 2012
[c38]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 (Eds.): Proceedings First International Workshop on Trends in Functional Programming in Education. EPTCS 106, 2012- 2011
[j3]
[c37]Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels: Defining Multi-user Web Applications with iTasks. CEFP 2011: 46-92
[c36]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model Based Testing with Logical Properties versus State Machines. IFL 2011: 116-133
[c35]Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels: Getting a grip on tasks that coordinate tasks. LDTA 2011: 1
[c34]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
[c33]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. Higher-Order and Symbolic Computation 23(4): 465-487 (2010)
[c32]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
[c31]Thomas van Noort, Peter Achten, Rinus Plasmeijer: Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ICFP-WGP 2010: 73-84
[c30]Steffen Michels, Rinus Plasmeijer, Peter Achten: iTask as a New Paradigm for Building GUI Applications. IFL 2010: 153-168
[c29]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
[c28]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267
[e2]Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter W. M. Koopman (Eds.): 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- 2008
[c27]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
[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 (Eds.): 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- 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]
[c15]- 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]
[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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team



