Bohdan Liesnikov, Jesper Cockx. Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language. In Oleg Kiselyov, editor, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. Volume 15194 of Lecture Notes in Computer Science, pages 63-83, Springer, 2024. [doi]
Abstract is missing.