A unified view of modalities in type systems
Article in Proceedings of the ACM on Programming Languages (August 2020)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in Proceedings of the ACM on Programming Languages (August 2020)
Preprint in arXiv (January 2020)
Book chapter (April 2018)