Parametricity and Dependent Types
Artikel i vetenskaplig tidskrift, 2010

Författare

Jean-Philippe Bernardy

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Patrik Jansson

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Ross Paterson

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

0362-1340 (ISSN)

Vol. 45 345-356

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1145/1932681.1863592