Zhan Shi. Partial Gradual Dependent Type Theory. In Vasco Thudichum Vasconcelos, editor, Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023. pages 22-24, ACM, 2023. [doi]
Abstract is missing.