Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems (1997)

View PDF

Download Links

by W. J. Fokkink , J. F. Th. Kamperman , H. R. Walters
Citations:4 - 1 self

Active Bibliography

Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, W. J. Fokkink, H. R. Walters - 1997
unknown title – Equational Logic, Programming Michael
685 A Survey of Program Slicing Techniques – F. Tip - 1995
578 Term Rewriting Systems – J. W. Klop - 1992
1586 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
985 A theory of type polymorphism in programming – Robin Milner - 1978
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1353 Monads for functional programming – Philip Wadler - 1995