1. A theory of higher-order subtyping with type intervals;Proceedings of the ACM on Programming Languages;2021-08-22
2. A focused solution to the avoidance problem;Journal of Functional Programming;2020
3. Strong Sums in Focused Logic;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
4. Programmable semantic fragments: the design and implementation of typy;ACM SIGPLAN Notices;2017-05-12
5. Programmable semantic fragments: the design and implementation of typy;Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2016-10-20