Nocker E.G.J.M.H., J.E.W. Smetsers, M.C.J.D. van Eekelen and M.J. Plasmeijer, Concurrent Clean, in: Proc. of Parallel Architectures and Languages Europe (PARLE '91), pages 202--219, Eindhoven, The Netherlands, Springer Verlag, LNCS 505, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Conventional and Uniqueness Typing in Graph Rewrite Systems .. - Barendsen, Smetsers (1993) (58 citations) (Correct)
.... a restricted form of GRS s: the so called term graph rewrite systems (TGRS s, see Barendregt et al. 1987b] and Barendsen Smetsers [1992] TGRS s are very well suited as a basis for (implementation of) functional languages, as is demonstrated by the graph rewrite language Concurrent Clean, see Nocker et al. 1991]. Conventional types The concept of typing in lambda calculus is well known. To study the effect of patterns in function definitions on typing, a Curry like type assignment system Computing Science Institute, Toernooiveld 1, 6525 ED Nijmegen, The Netherlands, email erikb cs.kun.nl, ....
Nocker E.G.J.M.H., J.E.W. Smetsers, M.C.J.D. van Eekelen and M.J. Plasmeijer, Concurrent Clean, in: Proc. of Parallel Architectures and Languages Europe (PARLE '91), pages 202--219, Eindhoven, The Netherlands, Springer Verlag, LNCS 505, 1991.
Conventional and Uniqueness Typing in Graph Rewrite Systems - Barendsen, Smetsers (1993) (58 citations) Self-citation (Smetsers) (Correct)
.... a restricted form of GRS s: the so called term graph rewrite systems (TGRS s, see Barendregt et al. 1987b] and Barendsen Smetsers [1992] TGRS s are very well suited as a basis for (implementation of) functional languages, as is demonstrated by the graph rewrite language Concurrent Clean, see Nocker et al. 1991]. Conventional types The concept of typing in lambda calculus is well known. To study the effect of patterns in function definitions on typing, a Curry like type assignment system on (applicative) term rewriting systems has been developed by van Bakel et al. 1992] The types in this ....
Nocker E.G.J.M.H., J.E.W. Smetsers, M.C.J.D. van Eekelen and M.J. Plasmeijer, Concurrent Clean, in: Proc. of Parallel Architectures and Languages Europe (PARLE'91), pages 202-- 219, Eindhoven, The Netherlands, Springer Verlag, LNCS 505, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC