The substitution vanishes (2006)

Cached

Download Links

by Armin Kühnemann , Andreas Maletti
Venue:In Algebraic Methodology and Software Technology, Proceedings, volume 4019 of LNCS
Citations:2 - 0 self

Documents Related by Co-Citation

531 A Computational' Logic – R S Boyer, J S Moore - 1979
1369 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
570 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
950 Term Rewriting and All That – F Baader, T Nipkow - 1998
401 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
45 A novel representation of lists and its application to the function reverse – J Hughes - 1986
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
351 Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I – John Mccarthy - 1960
25 Concatenate, Reverse and Map Vanish For Free – Janis Voigtländer - 2002