Information Aware Type Systems and Telescopic Constraint Trees
Philippa Cowderoy
TL;DR
This paper explores how information flow can be used to understand and implement type systems, introducing a constraint-based representation of typechecking problems to enhance data flow analysis.
Contribution
It presents an 'Information Aware' approach to type systems, using information effects and telescopic constraint trees for better data flow understanding.
Findings
Demonstrates how information effects reveal data flow in type systems
Provides a general constraint-based model for typechecking problems
Enhances implementation strategies for type systems using information awareness
Abstract
Can we use the flow of information to understand type systems? I present two familiar type systems in pursuit of an `Information Aware' style, using information effects to reveal data flow and help in implementing them. I also calculate a general, scoped, constraint-based representation of typechecking problems from the typing rules.
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
TopicsAdvanced Database Systems and Queries · Computability, Logic, AI Algorithms · Data Management and Algorithms