Types for Correctness, Convenience, and Performance (Keynote).

Gabriele Keller

Published in: TyDe@ICFP (2024)

Keyphrases

machine learning
information retrieval
multimedia
multiscale
multi agent
digital libraries
artificial neural networks
special case
multiple types