8 citations · 16 across the 8 of their papers we have counts for
1 paper · 1 filter
Andreas Nuyts
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.