Parametricity Features and their Requirements
Andreas Nuyts
TL;DR
This paper explores various parametricity features, analyzing their necessary requirements in type system complexity and modeling to understand their implementation and limitations.
Contribution
It provides a systematic discussion of parametricity features and identifies their specific requirements in type system complexity and modeling.
Findings
Identifies key parametricity features and their requirements
Analyzes the complexity needed in type systems for these features
Provides insights into the modeling constraints for parametricity
Abstract
In this note, we discuss a number of parametricity features and what their requirements are in terms of complexity of the type system and its model.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Advanced Database Systems and Queries · Formal Methods in Verification