Artifact report: Generic bidirectional typing for dependent type theories.

Thiago Felicissimo

Published in: ESOP (1) (2024)

Keyphrases

theoretical framework
data sets
learning algorithm
artificial intelligence
data structure
cognitive psychology
application specific
domain specific
hidden markov models
user interface
search algorithm
video sequences
multiscale
web pages
information systems
social networks
search engine
neural network