When Is a Type Refinement an Inductive Type?

Robert Atkey Patricia Johann Neil Ghani

Published in: FoSSaCS (2011)

Keyphrases

machine learning
multiscale
real time
databases
information systems
website
multi agent
data structure
object recognition
digital libraries
expert systems
relational databases