default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarinus J. Plasmeijer
Rinus Plasmeijer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c114]Mart Lubbers
, Pieter W. M. Koopman, Rinus Plasmeijer:
First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. IFL 2022: 3:1-3:12- [i1]Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Writing Internet of Things Applicatations with Task-Oriented Programming. CoRR abs/2212.04193 (2022) - 2021
- [c113]Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer:
Dynamic Editors for Well-Typed Expressions. TFP 2021: 44-66 - 2020
- [c112]Bas Lijnse, Rinus Plasmeijer:
Typed Directional Composable Editors in iTasks. IFL 2020: 115-126
2010 – 2019
- 2019
- [c111]Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Writing Internet of Things Applications with Task Oriented Programming. CEFP 2019: 3-52 - [c110]Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Interpreting task oriented programs on tiny computers. IFL 2019: 4:1-4:12 - [c109]Pieter W. M. Koopman, Rinus Plasmeijer:
A new view on parser combinators. IFL 2019: 6:1-6:11 - [c108]Camil Staps, John H. G. van Groningen, Rinus Plasmeijer:
Lazy interworking of compiled and interpreted code for sandboxing and distributed systems. IFL 2019: 9:1-9:12 - [c107]Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Multitasking on Microcontrollers using Task Oriented Programming. MIPRO 2019: 1587-1592 - 2018
- [c106]Pieter W. M. Koopman, Mart Lubbers, Rinus Plasmeijer:
A Task-Based DSL for Microcomputers. RWDSL@CGO 2018: 4:1-4:11 - [c105]Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Task Oriented Programming and the Internet of Things. IFL 2018: 83-94 - 2017
- [c104]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 - [c103]Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer:
The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. IFL 2017: 8:1-8:12 - [c102]Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer:
Predicting resource consumption of higher-order workflows. PEPM 2017: 99-110 - [c101]Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Maintaining Separation of Concerns Through Task Oriented Software Development. TFP 2017: 19-38 - 2016
- [c100]Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer:
Towards the Layout of Things. IFL 2016: 3:1-3:13 - 2015
- [c99]Pieter W. M. Koopman, Rinus Plasmeijer:
Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors. CEFP 2015: 283-340 - [c98]Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Static and Dynamic Visualisations of Monadic Programs. CEFP 2015: 341-379 - [c97]Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Static and dynamic visualisations of monadic programs. IFL 2015: 1:1-1:13 - [c96]Pieter W. M. Koopman, Rinus Plasmeijer:
A Shallow Embedded Type Safe Extendable DSL for the Arduino. TFP 2015: 104-123 - 2014
- [c95]Jurriaan van Diggelen, Wilfried Post, Marleen Rakhorst, Rinus Plasmeijer, Wessel van Staal:
Using Process-Oriented Interfaces for Solving the Automation Paradox in Highly Automated Navy Vessels. AMT 2014: 442-452 - [c94]Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen:
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. IFL 2014: 4:1-4:12 - [c93]László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
Editlets: type-based, client-side editors for iTasks. IFL 2014: 6:1-6:13 - [c92]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 - [c91]László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
Parametric lenses: change notification for bidirectional lenses. IFL 2014: 9:1-9:11 - [c90]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 - 2013
- [j9]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) - [c89]Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer:
An Introduction to Task Oriented Programming. CEFP 2013: 187-245 - [c88]László Domoszlai, Rinus Plasmeijer:
Tasklets: Client-Side Evaluation for iTask3. CEFP 2013: 428-445 - [c87]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model-Based Shrinking for State-Based Testing. Trends in Functional Programming 2013: 107-124 - [e7]Rinus Plasmeijer:
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013. ACM 2013, ISBN 978-1-4503-2988-0 [contents] - 2012
- [c86]Bas Lijnse, Patrick van Bommel, Rinus Plasmeijer:
CCL: A Lightweight ORM Embedding in Clean. OTM Workshops 2012: 338-347 - [c85]Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman:
Task-oriented programming in a pure functional language. PPDP 2012: 195-206 - [e6]Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer:
Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7241, Springer 2012, ISBN 978-3-642-32095-8 [contents] - 2011
- [c84]Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels:
Defining Multi-user Web Applications with iTasks. CEFP 2011: 46-92 - [c83]Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer:
Embedding polymorphic dynamic typing. WGP@ICFP 2011: 25-36 - [c82]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model Based Testing with Logical Properties versus State Machines. IFL 2011: 116-133 - [c81]Bas Lijnse, Jan Martin Jansen, Ruud Nanne, Rinus Plasmeijer:
Capturing the Netherlands Coast Guard's SAR workflow with iTasks. ISCRAM 2011 - [c80]Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels:
Getting a grip on tasks that coordinate tasks. LDTA 2011: 1 - [c79]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 - [c78]Jeroen Henrix, Rinus Plasmeijer, Peter Achten:
GiN: A Graphical Language and Tool for Defining iTask Workflows. Trends in Functional Programming 2011: 163-178 - [c77]Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer:
Generic Executable Semantics for D-Clean. WGT@ETAPS 2011: 85-95 - 2010
- [c76]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 - [c75]Thomas van Noort, Peter Achten, Rinus Plasmeijer:
Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ICFP-WGP 2010: 73-84 - [c74]Steffen Michels, Rinus Plasmeijer, Peter Achten:
iTask as a New Paradigm for Building GUI Applications. IFL 2010: 153-168 - [c73]Jan Martin Jansen, Bas Lijnse, Rinus Plasmeijer:
Towards dynamic workflow support for crisis management. ISCRAM 2010 - [c72]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 - [c71]Pieter W. M. Koopman, Rinus Plasmeijer:
Testing with Functional Reference Implementations. Trends in Functional Programming 2010: 134-149 - [e5]Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer:
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Lecture Notes in Computer Science 5812, Springer 2010, ISBN 978-3-642-11930-9 [contents] - [e4]Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók:
Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures. Lecture Notes in Computer Science 6299, Springer 2010, ISBN 978-3-642-17684-5 [contents]
2000 – 2009
- 2009
- [c70]Pieter W. M. Koopman, Rinus Plasmeijer:
Synthesis of Functions Using Generic Programming. AAIP 2009: 25-49 - [c69]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267 - [c68]Bas Lijnse, Rinus Plasmeijer:
iTasks 2: iTasks for End-users. IFL 2009: 36-54 - [c67]Thomas van Noort, Peter Achten, Rinus Plasmeijer:
A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes. IFL 2009: 179-197 - [e3]Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra:
Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Lecture Notes in Computer Science 5832, Springer 2009, ISBN 978-3-642-04651-3 [contents] - 2008
- [c66]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 - [c65]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Testing and Validating the Quality of Specifications. ICST Workshops 2008: 41-52 - [c64]Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman:
iEditors: Extending iTask with Interactive Plug-ins. IFL 2008: 192-211 - [c63]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
An Executable and Testable Semantics for iTasks. IFL 2008: 212-232 - [c62]Bas Lijnse, Rinus Plasmeijer:
Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases. IFL 2008: 272-290 - [c61]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315 - [c60]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 - [c59]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231 - [c58]Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer:
Efficient and Type-Safe Generic Data Storage. WGT@ETAPS 2008: 59-70 - [e2]Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók:
Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures. Lecture Notes in Computer Science 5161, Springer 2008, ISBN 978-3-540-88058-5 [contents] - 2007
- [c57]Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE 2007: 184-200 - [c56]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40 - [c55]Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86 - [c54]Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer:
From Interpretation to Compilation. CEFP 2007: 286-301 - [c53]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152 - [c52]Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson:
Uniqueness Typing Simplified. IFL 2007: 201-218 - 2006
- [c51]Pieter W. M. Koopman, Rinus Plasmeijer:
Automatic Testing of Higher Order Functions. APLAS 2006: 148-164 - [c50]Johan Jeuring, Rinus Plasmeijer:
Generic Programming for Software Evolution. EVOL 2006: 97-104 - [c49]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132 - [c48]Rinus Plasmeijer, Peter Achten:
iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS 2006: 242-258 - [c47]Rinus Plasmeijer, Peter Achten:
A Conference Management System Based on the iData Toolkit. IFL 2006: 108-125 - [c46]Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson:
Uniqueness Typing Redefined. IFL 2006: 181-198 - [c45]Betsy Pepels, Rinus Plasmeijer, Henderik Alex Proper:
Fact-Oriented Modeling from a Programming Language Designer's Perspective. OTM Workshops (2) 2006: 1170-1180 - [c44]Pieter W. M. Koopman, Rinus Plasmeijer:
Systematic synthesis of functions. Trends in Functional Programming 2006: 35-54 - [c43]Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer:
Efficient interpretation by transforming data types and patterns to functions. Trends in Functional Programming 2006: 73-90 - 2005
- [c42]Rinus Plasmeijer, Peter Achten:
Generic Editors for the World Wide Web. CEFP 2005: 1-34 - [c41]Pieter W. M. Koopman, Rinus Plasmeijer:
Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61 - [c40]Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
There and back again: arrows for invertible programming. Haskell 2005: 86-97 - [c39]Rinus Plasmeijer, Peter Achten:
The Implementation of iData. IFL 2005: 106-123 - [c38]Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer:
Polytypic Syntax Tree Operations. IFL 2005: 142-159 - [c37]Betsy Pepels, Rinus Plasmeijer:
Generating Applications from Object Role Models. OTM Workshops 2005: 656-665 - [c36]Pieter W. M. Koopman, Rinus Plasmeijer:
Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178 - 2004
- [c35]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 - [c34]Rinus Plasmeijer, Arjen van Weelden:
A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming 2004: 245-272 - [c33]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 - [c32]Ronny Wichers Schreur, Marinus J. Plasmeijer:
Dynamic Construction of Generic Functions. IFL 2004: 160-176 - [c31]Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55 - [c30]Sander Evers, Peter Achten, Rinus Plasmeijer:
Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128 - 2003
- [c29]Arjen van Weelden, Rinus Plasmeijer:
A Functional Shell That Dynamically Combines Compiled Code. IFL 2003: 36-52 - [c28]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Generic Graphical User Interfaces. IFL 2003: 152-167 - [c27]Pieter W. M. Koopman, Rinus Plasmeijer:
Testing reactive systems with GAST. Trends in Functional Programming 2003: 111-129 - 2002
- [c26]Peter Achten, Artem Alimarine, Marinus J. Plasmeijer:
When Generic Functions Use Dynamic Values. IFL 2002: 17-33 - [c25]Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer:
Gast: Generic Automated Software Testing. IFL 2002: 84-100 - [c24]Martijn Vervoort, Marinus J. Plasmeijer:
Lazy Dynamic Input/Output in the Lazy Functional Language Clean. IFL 2002: 101-117 - [c23]Arjen van Weelden, Marinus J. Plasmeijer:
Towards a Strongly Typed Functional Operating System. IFL 2002: 215-231 - 2001
- [c22]Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Theorem Proving for Functional Programmers. IFL 2001: 55-71 - [c21]Artem Alimarine, Marinus J. Plasmeijer:
A Generic Programming Extension for Clean. IFL 2001: 168-185 - 2000
- [c20]Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Polygonizing Implicit Surfaces in a Purely Functional Way. IFL 2000: 158-175
1990 – 1999
- 1999
- [j8]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen:
Keep it Clean: A Unique Approach to Functional Programming. ACM SIGPLAN Notices 34(6): 23-31 (1999) - [c19]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen:
Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13 - [c18]Mike Wiering, Peter Achten, Marinus J. Plasmeijer:
Using Clean for Platform Games. IFL 1999: 1-17 - [c17]Peter Achten, Marinus J. Plasmeijer:
The Implementation of Interactive Local State Transition Systems in Clean. IFL 1999: 115-130 - [p1]Rinus Plasmeijer, Marko C. J. D. van Eekelen, Marco Pil, Pascal R. Serrarens:
Parallel and Distributed Programming in Concurrent Clean. Research Directions in Parallel Functional Programming 1999: 323-338 - 1998
- [c16]Pieter W. M. Koopman, Marinus J. Plasmeijer:
Efficient Combinator Parsers. IFL 1998: 120-136 - [c15]Pascal R. Serrarens, Marinus J. Plasmeijer:
Explicit Message Passing for Concurrent Clean. IFL 1998: 229-245 - 1997
- [c14]Peter Achten, Marinus J. Plasmeijer:
Interactive Functional Objects in Clean. Implementation of Functional Languages 1997: 304-321 - 1996
- [c13]Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer:
Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128 - 1995
- [j7]Peter Achten, Marinus J. Plasmeijer:
The Ins and Outs of Clean I/O. J. Funct. Program. 5(1): 81-110 (1995) - [j6]Pieter H. Hartel, Marinus J. Plasmeijer:
Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. J. Funct. Program. 5(3): 279-281 (1995) - [j5]Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Operational Machine Specification in a Functional Programming Language. Softw. Pract. Exp. 25(5): 463-499 (1995) - [c12]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming 1995: 183-227 - [c11]Marinus J. Plasmeijer:
CLEAN: a programming environment based on term graph rewriting. SEGRAGRA 1995: 215-221 - [e1]Pieter H. Hartel, Marinus J. Plasmeijer:
Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings. Lecture Notes in Computer Science 1022, Springer 1995, ISBN 3-540-60675-0 [contents] - 1994
- [c10]Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze:
Efficient Distributed Memory Implementation of a Data Parallel Functional Language. PARLE 1994: 464-477 - 1993
- [b1]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen:
Functional Programming and Parallel Graph Rewriting. Addison-Wesley 1993, ISBN 0-201-41663-8 - [c9]Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 358-379 - 1992
- [c8]Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer:
High Level Specification of I/O in Functional Languages. Functional Programming 1992: 1-17 - 1991
- [c7]Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer:
Generating Efficient Code for Lazy Functional Languages. FPCA 1991: 592-617 - [c6]E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Concurrent Clean. PARLE (2) 1991: 202-219 - 1990
- [c5]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers:
Parallel Graph Rewriting on Loosely Coupled Machine Architectures. CTRS 1990: 354-369
1980 – 1989
- 1989
- [j4]Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep:
LEAN: an intermediate language based on graph rewriting. Parallel Comput. 9(2): 163-177 (1989) - 1987
- [j3]