20172020

Research output per year

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

Research Output

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

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
10 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
8 Downloads (Pure)