Parametricity and dependent types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson. Parametricity and dependent types. In Paul Hudak, Stephanie Weirich, editors, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. pages 345-356, ACM, 2010. [doi]

Authors

Jean-Philippe Bernardy

Identified as Jean-Philippe Bernardy
(Chalmers University of Technology
)

Patrik Jansson

Identified as Patrik Jansson
(Chalmers University of Technology
)

Ross Paterson

Identified as Ross Paterson
(City University London
)