Type-Based Useless-Code Elimination for Functional Programs.

Stefano Berardi Mario Coppo Ferruccio Damiani Paola Giannini

Published in: SAIG (2000)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
knowledge base
database
artificial intelligence
multi agent
data structure
search algorithm
management system
data integration
stochastic grammar