Rank 2 Intersection Type Assignment in Term Rewriting Systems.

Steffen van Bakel

Published in: Fundam. Informaticae (1996)

Keyphrases

term rewriting systems
functional programs
logic programs
databases
information retrieval
data integration