Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Simona Ronchi Della Rocca
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2019 profile
POPL 2021 profile
Not registered as user
Name:
Simona Ronchi Della Rocca
Country:
Italy
Affiliation:
University of Torino
Personal website:
http://www.di.unito.it/~ronchi/
Contributions
2021
POPL
Author of Intersection Types and (Positive) Almost-Sure Termination within the POPL-track
2019
DICE-FOPARA
Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
LAFI
Author of Probabilistic Lambda Calculus: Beyond Deterministic Evaluation within the LAFI (né PPS)-track
Share
x
Thu 19 Jun 15:23
