Towards a computational interpretation of parametricity
Preprint, 2011
type-theory
dependent types
lambda-calculi
parametricity
Författare
Jean-Philippe Bernardy
Chalmers, Data- och informationsteknik, Programvaruteknik
Guilhem Moulin
Chalmers, Data- och informationsteknik, Datavetenskap
Fundament
Grundläggande vetenskaper
Ämneskategorier
Datavetenskap (datalogi)