Parametricity for Nested Types and GADTs.

Patricia Johann Enrico Ghiorzi

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

real world
data sets
artificial intelligence
high quality
objective function
multiresolution