Subtyping-Based Type-Checking for System F with Induction and Coinduction.

Rodolphe Lepigre Christophe Raffalli

Published in: CoRR (2016)

Keyphrases

type checking
data types
database query languages
query processor
abstract data types
relational calculus
object model
machine learning
databases
high level
object recognition
relational databases
database management systems
relational algebra