Generic Program Transformation (1998)

Cached

Download Links

by Oege De Moor , Ganesh Sittampalam
Venue:Proc. 3rd International Summer School on Advanced Functional Programming, LNCS 1608
Citations:32 - 5 self

Active Bibliography

564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
467 Comprehending Monads – Philip Wadler - 1992
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
430 Refactoring Object-Oriented Frameworks – William F. Opdyke - 1992
385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
A Case Study on a Modular Transformation Strategy – Zhenjiang Hu, Wei-ngan Chin, Masato Takeichi - 1999
384 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002