Information Aware Type Systems and Telescopic Constraint Trees
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2024
- DOI:
- arXiv:
- arXiv:2412.16206
- Bibcode:
- 2024arXiv241216206C
- Keywords:
-
- Computer Science - Programming Languages
- E-Print:
- Extended abstract from MSFP2020