Parametricity for Primitive Nested Types.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

Browse the full FOSSACS paper archive.