Operational Theories of Improvement in Functional Languages (Extended Abstract) (1991)

Cached

Download Links

by David Sands
Venue:In Proceedings of the Fourth Glasgow Workshop on Functional Programming
Citations:21 - 9 self

Documents Related by Co-Citation

95 Equality In Lazy Computation Systems – Douglas J. Howe - 1998
61 Total Correctness by Local Improvement in the Transformation of Functional Programs – David Sands - 1996
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
120 Bisimilarity as a theory of functional programming – A D Gordon - 1995
400 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
570 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
116 A syntactic theory of sequential control – Matthias Felleisen, Daniel P Friedman, E Kohlbecker, B F Duba - 1987
9 Fully abstract models of the typed - calculus – R Milner - 1977
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
536 The Implementation of Functional Programming Languages – Simon L Peyton Jones - 1987
220 Call-by-name, call-by-value, and the #-calculus – G Plotkin - 1975
36 From Operational Semantics to Domain Theory – Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1995
5 Total Correctness and Improvement in the Transformation of Functional Programs – D Sands - 1994
1309 Monads for functional programming – Philip Wadler - 1995
16 About Transformation System: A Theoretical Study”, 3ème Colloque International sur la Programmation – L Kott - 1978
18 From Operational to Denotational Semantics – Scott Smith - 1989
181 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993