Parametricity Features and their Requirements
arXiv:2111.09822
Abstract
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.
arXiv:2111.09822
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.