Parametricity and Dependent Types
Journal article, 2010

Author

Jean-Philippe Bernardy

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Patrik Jansson

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Ross Paterson

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

0362-1340 (ISSN)

Vol. 45 9 345-356

Subject Categories

Computer Science

DOI

10.1145/1932681.1863592

More information

Created

10/7/2017