Concurrent Clean (1991)

Cached

Download Links

by Eric Nöcker , Sjaak Smetsers , Marko van Eekelen , Rinus Plasmeijer
Citations:60 - 4 self

Active Bibliography

23 Generating Efficient Code for Lazy Functional Languages – Sjaak Smetsers, Eric Nöcker, John Van Groningen, Rinus Plasmeijer - 1991
Efficient Management in the Concrete ABC Machine – John Van Groningen, Eric Nöcker, Sjaak Smetsers - 1991
Graph Rewriting and Copying – Erik Barendsen, Sjaak Smetsers - 1992
Communication Issues Regarding Parallel . . . – Marco Kesseler - 1992
1 Operational Machine Specification in a Functional Programming Language – P. W. M. Koopman - 1995
32 Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs – Sjaak Smetsers, Erik Barendsen, Marko van Eekelen, Rinus Plasmeijer - 1994
2 The Concurrent Clean System - Functional Programming on the Macintosh – M.J. Plasmeijer, M.C.J.D. van Eekelen, E.G.J.M.H. Nöcker, J.E.W. Smetsers - 1991
1 Implementing The PABC Machine on Transputers – Marco Kesseler - 1991
Term Graph Rewriting and Strong Sequentiality – Sjaak Smetsers - 1992
Process Annotations and Process Types – M.C.J.D. van Eekelen, M.J. Plasmeijer - 1993
69 Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) – Erik Barendsen, Sjaak Smetsers - 1993
34 Dactl: An Experimental Graph Rewriting Language – John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep - 1991
2 Rank 2 types for term graph rewriting – Steffen Van Bakel - 2003
16 A Syntactic Approach to Program Transformations – Zena M. Ariola, Arvind - 1991
22 Properties of a First-order Functional Language with Sharing – Zena M. Ariola, Arvind, Zena M. Ariola - 1994
15 The Functional Strategy and Transitive Term Rewriting Systems – Yoshihito Toyama, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer - 1993
23 Lazy rewriting on eager machinery – Wan Fokkink, Pum Walters, Jasper Kamperman - 2000
17 Partial Intersection Type Assignment in Applicative Term Rewriting Systems – Steffen Van Bakel - 1993
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988