Constantine Theocharis

According to our database, Constantine Theocharis authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Custom Representations of Inductive Families.

Constantine Theocharis, Edwin Brady

CoRR, May, 2025

Custom Representations of Inductive Families.

Constantine Theocharis, Edwin C. Brady

Proceedings of the Trends in Functional Programming - 26th International Symposium, 2025

2024

Structural Refactorings for Exploring Dependently Typed Programming.

Adam D. Barwell, Christopher Brown, Mun See Chang, Constantine Theocharis, Simon J. Thompson

Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024