Login / Signup
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.
Gustavo Arroyo
J. Guadalupe Ramos
Salvador Tamarit
Germán Vidal
Published in:
LOPSTR (2008)
Keyphrases
</>
functional programs
higher order
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
pairwise
databases
relational databases
distributed environment