Concurrent Clean (1991)

Cached

Download Links

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

Documents Related by Co-Citation

60 Clean: A language for functional graph rewriting – T Brus, M C J D van Eekelen, M van Leer, M J Plasmeijer, H P Barendregt - 1987
129 Eekelen. Functional Programming and Parallel Graph Rewriting – R Plasmeijer, M van - 1993
105 Term graph rewriting – H Barendregt, M van Eekelen, J Glauert, R Kenneway, M J Plasmeijer, M Sleep - 1987
565 Term Rewriting Systems – J. W. Klop - 1992
1115 The Lambda Calculus: Its Syntax and Semantics – H Barendregt - 1984
1305 Monads for functional programming – Philip Wadler - 1995
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
102 et a!. Principles of OBJ2 – K Futatsugi
536 The Implementation of Functional Programming Languages – Simon L Peyton Jones - 1987
20 Term graph reduction – H P Barendregt, M C J D van Eekelen, J R W Glauert, J R Kennaway, M J Plasmeijer, M R Sleep - 1987
32 Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs – Sjaak Smetsers, Erik Barendsen, Marko van Eekelen, Rinus Plasmeijer - 1994
41 The Ins and Outs of Clean I/O – Peter Achten, Rinus Plasmeijer - 1995
216 A filter lambda model and the completeness of type assignment. J.Symbolic Logic, 48:931--940 – H Barendregt, M Coppo, M Dezani-Ciancaglini - 1983
935 A theory of type polymorphism in programming – Robin Milner - 1978
157 A non-strict functional language with polymorphic types – Miranda
93 Polymorphic type schemes and recursive definitions – A Mycroft - 1984
69 Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) – Erik Barendsen, Sjaak Smetsers - 1993
77 FUDGETS - A Graphical User Interface in a Lazy Functional Language – Magnus Carlsson, Thomas Hallgren - 1993
283 Why functional programming matters – John Hughes - 1989