Login / Signup
Tactic-Based Optimized Compilation of Functional Programs.
Thomas Meyer
Burkhart Wolff
Published in:
TYPES (2004)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
data mining
object oriented