Full Abstraction for PCF.

Samson Abramsky Radha Jagadeesan Pasquale Malacaria

Published in: Inf. Comput. (2000)

Keyphrases

high level
object oriented
classification method
database
real time
data sets
decision trees
case study
pattern recognition
special case
k nearest neighbor