Structural Refactorings for Exploring Dependently Typed Programming. - Adam D. Barwell; Christopher Brown 002; Mun See Chang; Constantine Theocharis; Simon J. Thompson (TFP, 2024)

Custom Representations of Inductive Families. - Constantine Theocharis; Edwin Brady (CoRR, 2025)