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
Publicerad i
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
07308566 (ISSN)
Vol. 45 Nummer/häfte 9 s. 345-356Kategorisering
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
Identifikatorer
DOI
10.1145/1932681.1863592