An abstraction theorem for pure type systems
Preprint, 2010
Pure type systems
Parametricity
Author
Jean-Philippe Bernardy
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Patrik Jansson
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Ross Paterson
Subject Categories (SSIF 2011)
Computer Science