A path to DOT: formalizing fully path-dependent types.

Marianna Rapoport Ondrej Lhoták

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

Keyphrases

shortest path
search algorithm
optimal path
data sets
neural network
artificial intelligence
information systems
image segmentation
similarity measure
multiresolution
hidden markov models
path finding
path length