20172020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Programming language theory, logic, semantics, category theory and its applications

Structured keywords and research groupings

  • Programming Languages

Fingerprint Dive into the research topics where Alex Kavvos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 3 Conference Contribution (Conference Proceeding)
  • 2 Article (Academic Journal)
  • 1 PhD thesis (not Bristol)

Multimodal Dependent Type Theory

Gratzer, D., Kavvos, G. A., Nuyts, A. & Birkedal, L., 8 Jul 2020, LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: Association for Computing Machinery (ACM), p. 492-506 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Open Access
File
  • 37 Downloads (Pure)

    Modalities, cohesion, and information flow

    Kavvos, G. A., 2 Jan 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, 29 p., 20.

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
  • 16 Downloads (Pure)

    Recurrence extraction for functional programs through call-by-push-value

    Kavvos, G. A., Morehouse, E., Licata, D. & Danner, N., 20 Dec 2019, In : Proceedings of the ACM on Programming Languages. 4, POPL, 31 p., 15.

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
  • 13 Downloads (Pure)