Follow
Jonathan Chan
Jonathan Chan
University of British Columbia
Verified email at seas.upenn.edu - Homepage
Title
Cited by
Cited by
Year
Is Sized Typing for Coq Practical?
J Chan, Y Li, WJ Bowman
arXiv preprint arXiv:1912.05601, 2019
9*2019
Sized Dependent Types via Extensional Type Theory
J Chan
University of British Columbia, 2022
22022
Consistency of a Dependent Calculus of Indistinguishability
Y Liu, J Chan, S Weirich
Proceedings of the ACM on Programming Languages 9 (POPL), 183-209, 2025
12025
Internalizing Indistinguishability with Dependent Types
Y Liu, J Chan, J Shi, S Weirich
Proceedings of the ACM on Programming Languages 8 (POPL), 1298-1325, 2024
12024
Functional Pearl: Short and Mechanized Logical Relation for Dependent Type Theories
Y LIU, J CHAN, S WEIRICH
2024
Stratified Type Theory
J Chan, S Weirich
arXiv preprint arXiv:2309.12164, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–6