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)