Typed path polymorphism.

Mauricio Ayala-Rincón Eduardo Bonelli Juan Edi Andrés Viso

Published in: Theor. Comput. Sci. (2019)

Keyphrases

shortest path
higher order
optimal path
lambda calculus
database
neural network
real world
real time
databases
image processing
dynamic environments
path selection