Two Parametricities Versus Three Universal Types
Abstract
The formal calculus System F models the essence of polymorphism and abstract data types, features that exist in many programming languages. The calculus’ core property is parametricity: a theorem expressing the language’s abstractions and validating important principles like information hiding and modularity.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Sep 21, 2022
- Source ID
- 10.1145/3539657
Entities
People
- Dominique Devriese
- Frank Piessens
- Marco Patrignani
Organizations
- Air Force Office of Scientific Research
- Federal Ministry of Research, Technology and Space
- Katholieke Universiteit Leuven
- University of Trento