Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bernardo Toninho
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ICST 2026 profile
POPL 2026 profile
Not registered as user
Name:
Bernardo Toninho
Country:
Portugal
Affiliation:
Instituto Superior Técnico - University of Lisbon
Contributions
2026
ICST
Author of In Perfect Harmony: Orchestrating Causality in Actor-Based Systems within the Artifact Evaluation-track
Author of In Perfect Harmony: Orchestrating Causality in Actor-Based Systems within the Research Papers-track
POPL
Author of Lazy Linearity for a Core Functional Language within the POPL-track
Author of Welterweight Go: Boxing, Structural Subtyping, and Generics within the POPL-track
2025
ICFP
Author of Fusing Session-Typed Concurrent Programming into Functional Programming within the ICFP Papers-track
Share
x
Thu 13 Aug 11:07