Subtyping with Singleton Types.

Published in: CSL (1994)

Keyphrases

input output
image processing
real time
case study
cooperative
preprocessing
expert systems
mobile devices
evolutionary algorithm