Generic bidirectional typing for dependent type theories.

Thiago Felicissimo

Published in: ESOP (1) (2024)

Keyphrases

neural network
artificial intelligence
machine learning
image processing
case study
three dimensional
multiscale
artificial neural networks
search space
special case
mobile robot
probabilistic model
domain specific
completely independent