Type-safe cast: functional pearl.

Stephanie Weirich

Published in: ICFP (2000)

Keyphrases

real time
data sets
real world
image processing
wide range
multi agent systems
object recognition
expert systems
user interface