A Fresh Look at Combinator Graph Reduction (Or, Having a TIGRE by the Tail) (1989)

by Philip J. Koopman , Jr. , Peter Lee
Venue:SIGPLAN Notices
Citations:4 - 0 self

Documents Related by Co-Citation

1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
203 A new implementation technique for applicative languages. Software— practice and experience – D A Turner - 1979
410 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
406 LCF considered as a programming language – Gordon Plotkin - 1977
378 Towards a theory of type structure – J C Reynolds - 1974
342 Foundations for programming languages – John C Mitchell - 1996
339 Theorems for free! – Philip Wadler - 1989
323 Natural semantics – G. Kahn - 1987
275 Semantics programming languages: Structures and techniques. Foundation of computing – C A Gunter - 1993