A Core Language for Rewriting (1998)

Cached

Download Links

by Eelco Visser , Zine-el-abidine Benaissa
Venue:Electronic Notes in Theoretical Computer Science
Citations:24 - 8 self

Documents Related by Co-Citation

111 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
40 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
1318 Monads for functional programming – Philip Wadler - 1995
113 Syntax Definition for Language Prototyping – Eelco Visser - 1997
8668 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
625 Compiling with Continuations – A Appel - 1992
573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996