Bibtex actions: edit source raw source raw html
1993
-
Term graph rewriting: theory and practice.
Ronan Sleep, Rinus Plasmeijer and Marko van Eekelen,
1993,
John Wiley and Sons Ltd.,
Chichester, UK.
-
Peter Achten and Rinus Plasmeijer.
The beauty and the beast.
Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands ,
Technical report No.93-03,
1993,
March.
-
Erik Barendsen and Sjaak Smetsers.
Conventional and uniqueness typing in graph rewrite systems (extended abstract).
Proceedings of the Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS '93, Bombay, India,
Rudrapatna Shyamasundar,
41-51,
Springer-Verlag,
LNCS,
761,
1993.
-
Eric Nöcker.
Strictness analysis using abstract reduction.
Proceedings of the conference on Functional programming languages and computer architecture,
FPCA '93,
1993,
255-265,
10.1145/165180.165219,
ACM,
New York, NY, USA.
-
Rinus Plasmeijer and Marko van Eekelen.
Functional programming and parallel graph rewriting.
Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands ,
1993,
ISBN 0-201-41663-8,
Addison-Wesley Publishing Company.
