Type-based termination of recursive definitions.

Gilles Barthe Maria João Frade Eduardo Giménez Luís Pinto Tarmo Uustalu

Published in: Math. Struct. Comput. Sci. (2004)

Keyphrases

type checking
reinforcement learning
information retrieval
cooperative
active rules
precise definition