An abstraction theorem for pure type systems
Preprint, 2010
Pure type systems
Parametricity
Författare
Jean-Philippe Bernardy
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Patrik Jansson
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Ross Paterson
Ämneskategorier
Datavetenskap (datalogi)