Automating Changes of Data Type in Functional Programs.

Julian Richardson

Published in: KBSE (1995)

Keyphrases

data types
functional programs
term rewriting systems
data model
logic programs
database systems
lazy evaluation
data structure
functional language
database management systems
stochastic grammar
abstract data types
database
query language
distributed databases
object identity
databases