Parametricity for Primitive Nested Types.

Patricia Johann Enrico Ghiorzi Daniel Jeffries

Published in: FoSSaCS (2021)

Keyphrases

object recognition
real time
data sets
machine learning
website
high level
multi agent
data structure