Research output per year
Research output per year
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
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
Research output
- 1 Conference contribution
-
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 AccessFile
Datasets
-
Structural refactorings for exploring dependently typed programming (code)
Barwell, A. D. (Creator), Brown, C. M. (Creator), Chang, M. S. (Creator) & Theocharis, K. (Creator), GitHub, 2025
https://github.com/kontheocharis/fluid
Dataset: Software