Implementing a modal dependent type theory.

Daniel Gratzer Jonathan Sterling Lars Birkedal

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

Keyphrases

theoretical framework
general theory
real time
multiscale
theoretical basis
probabilistic model
theoretical foundation
nonmonotonic logics
multiple types
conceptual framework
information theory
modal logic
logic programs
hidden markov models
social networks
machine learning
data mining