No photo of P.G. Giarrusso

P.G. Giarrusso



Research output per year

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

Research Output

  • 1 Conference contribution
  • 1 Article

Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris

Giarrusso, P. G., Stefanesco, L., Timany, A., Birkedal, L. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, ICFP, p. 114:1 - 114:29 29 p., 114.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
1 Downloads (Pure)

Towards improved GADT reasoning in Scala

Parreaux, L., Boruch-Gruszecki, A. & Giarrusso, P. G., 17 Jul 2019, Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019. Association for Computing Machinery (ACM), p. 12-16 5 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review