Non-parametric parametricity

Neis, Georg and Dreyer, Derek and Rossberg, Andreas
(2011) Non-parametric parametricity.
J. Funct. Program., 21 (4-5). 497–562.

Full text not available from this repository.
Official URL: https://doi.org/10.1017/S0956796811000165

Actions

Actions (login required)

View Item View Item