A type system for recursive modules.

Published in: ICFP (2007)

Keyphrases

database
modular structure
real time
digital libraries
information systems
feature selection
case study
upper bound
distributed systems
logic programs
functional modules