Modular Properties of Algebraic Type Systems.

Gilles Barthe Herman Geuvers

Published in: HOA (1995)

Keyphrases

databases
complex systems
artificial intelligence
web services
similarity measure
management system
computer systems
desirable properties
desirable characteristics
database
social networks
building blocks
computing systems
highly modular