• Sign in
  • Sign up
conf.researchr.org / Elias Benussi
  • ECOOP 2019 profile
  • PLDI 2019 profile
  • POPL 2019 profile
Elias Benussi

Registered user since Mon 22 Apr 2019

Name:Elias Benussi
Affiliation:Faculty Science Ltd

Contributions

2019

Scala

  • Author of Effpi: Verified Message-Passing Programs in Dotty within the Scala 2019-track

PLDI

  • Author of Verifying Message-Passing Programs with Dependent Behavioural Types within the PLDI Research Papers-track

BEAT

  • Author of Effpi: Concurrent Programming with Dependent Behavioural Types within the BEAT 2019-track
Share
xThu 22 May 03:00
using conf.researchr.org (v1.69.0)
Support page
Sign Up