Bibtex actions: edit source raw source raw html
1988
-
H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer and M.R. Sleep.
LEAN: An intermediate language based on graph rewriting.
Parallel Computing 9,
163-177,
North-Holland,
1988.
-
Pieter Koopman and Eric Nöcker.
Compiling functional languages to term graph rewriting systems.
1988,
88-1,
Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands .
-
E.G.J.M.H. Nöcker.
Strictness Analysis based on Abstract Reduction of Term Graph Rewrite Systems.
Proceedings of Workshop on Implementation of Lazy Functional Languages,
Johnsson, Peyton Jones and Karlsson,
Göteborg,
University of Göteborg and Chalmers University of Technology,
Programming Methodology Group Report 53,
1988,
451-462.
-
S.J. van Bakel.
Derivations in type assignment systems.
Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands ,
1988.
-
M.C.J.D. van Eekelen.
Parallel graph rewriting, some contributions to its theory, its implementation and its application.
University of Nijmegen,
1988.
-
M.C.J.D. van Eekelen, E.J.H. Pepels and M.J. Plasmeijer.
A cyclic reference counting algorithm and its proof.
University of Nijmegen ,
Internal Report 10,
1988.
-
M. van Hintum and van Schelven.
MCC V3.0 Implementation Manual, version 2.0.
University of Nijmegen ,
2,
1988.