The Undecidability of System F Typability and Type Checking for Reductionists.

Andrej Dudenhefner

Published in: LICS (2021)

Keyphrases

type checking
data types
query processor
database query languages
abstract data types
database systems
object model
relational calculus
databases
data model
knowledge representation
multi dimensional