Parametricity for Nested Types and GADTs.

Patricia Johann Enrico Ghiorzi Daniel Jeffries

Published in: CoRR (2021)

Keyphrases

artificial intelligence
genetic algorithm
computer vision
machine learning
information retrieval
multimedia
case study
high quality
information technology
relational databases