Login / Signup
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations.
Taro Sekiyama
Hiroshi Unno
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
spatio temporal
temporal reasoning
spatial and temporal
temporal information
temporal data
temporal analysis
database
machine learning
information retrieval
evolutionary algorithm
spatial features
temporal consistency
temporal ordering