Path dependent types with path-equality.

Jaemin Hong Jihyeok Park Sukyoung Ryu

Published in: SCALA@ICFP (2018)

Keyphrases

real time
neural network
optimal path
data sets
information retrieval
genetic algorithm
computer vision
multimedia
relational databases
evolutionary algorithm
multiresolution
endpoints