Parametricity Features and their Requirements

11/18/2021

∙

by   Andreas Nuyts, et al.

∙

0

∙

share

In this note, we discuss a number of parametricity features and what their requirements are in terms of complexity of the type system and its model.