Defunctionalization with Dependent Types.

Yulong Huang Jeremy Yallop

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

Keyphrases

neural network
artificial intelligence
database
feature selection
high level
bayesian networks
computational complexity
information technology
viewpoint
co occurrence