Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Elias Benussi
conf.researchr.org general profile
ECOOP 2019 profile
PLDI 2019 profile
POPL 2019 profile
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
x
Mon 5 May 00:03
