Extracting Programs with Exceptions in an Impredicative Type System.

Jean-François Monin

Published in: MPC (1995)

Keyphrases

automatically extracted
database
data sets
special case
real world
image processing
clustering algorithm
case study
preprocessing
computer programs