Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.

Julian Mackay Alex Potanin Jonathan Aldrich Lindsay Groves

Published in: APLAS (2020)

Keyphrases

first order logic
real time
artificial intelligence
database
databases
data mining
multiscale
video sequences
data management
transitive closure
computation tree logic