Decidable subtyping for path dependent types.

Julian Mackay Alex Potanin Jonathan Aldrich Lindsay Groves

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

databases
image sequences
artificial intelligence
social networks
decision making
knowledge base
website
computational complexity
special case
probabilistic model
shortest path
expressive power
situation calculus
transitive closure
datalog programs