Skip to main navigation Skip to search Skip to main content
Constantine Theocharis

Constantine Theocharis

Mr, Mr

 https://orcid.org/0009-0001-0198-2750

Personal profile

Research interests

My research interests mostly lie in the realm of programming languages: compilers, (dependent) type theory, embedded languages, and ergonomic models of computation. I am particularly interested in the interplay between software verification and optimisation.

Fingerprint

Dive into the research topics where Constantine Theocharis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 2 Conference contribution

  • Custom representations of inductive families

    Theocharis, C. & Brady, E., 1 Oct 2025, Trends in functional programming: 26th international symposium, TFP 2025, Oxford, UK, January 14–16, 2025 revised selected papers. Gibbons, J. (ed.). Cham: Springer Nature, p. 302-328 27 p. (Lectures notes in computer science; vol. 15652).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Structural refactorings for exploring dependently typed programming

    Barwell, A. D., Brown, C. M., Chang, M. S., Theocharis, C. & Thompson, S., 10 Jan 2025, Trends in functional programming: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, revised selected papers. Hemann, J. & Chang, S. (eds.). Cham: Springer, p. 1-21 (Lecture notes in computer science; vol. 14843).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File