Total Correctness by Local Improvement in the Transformation of Functional Programs (1996)

View PDF

Download Links

by David Sands
Venue:ACM Transactions on Programming Languages and Systems
Citations:65 - 6 self

Documents Related by Co-Citation

605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
667 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
226 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
561 The implementation of functional programming languages – S L Peyton Jones - 1987
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
985 A theory of type polymorphism in programming – Robin Milner - 1978
766 Notions of Computation and Monads – Eugenio Moggi - 1991