Non-parametric parametricity
Neis, Georg, Dreyer, Derek, Rossberg, AndreasVolume:
44
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1631687.1596572
Date:
August, 2009
File:
PDF, 478 KB
english, 2009