Introduction: Workshop on Intersection Types and Related Systems (ITRS'00).

Published in: ICALP Satellite Workshops (2000)

Keyphrases

building blocks
real time
real world
data mining
multimedia
search algorithm
management system
computer systems
systems require