Information Aware Type Systems and Telescopic Constraint Trees
Programming Languages
2024-12-24 v1
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.
Cite
@article{arxiv.2412.16206,
title = {Information Aware Type Systems and Telescopic Constraint Trees},
author = {Philippa Cowderoy},
journal= {arXiv preprint arXiv:2412.16206},
year = {2024}
}
Comments
Extended abstract from MSFP2020