Bernardo Toninho
Scholar

Bernardo Toninho

Google Scholar ID: LqQoVtgAAAAJ
Instituto Superior Técnico, Universidade de Lisboa
Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,738
 
H-index
20
 
i10-index
25
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
3 items
Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)
2026
Cited
0
In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
2026
Cited
0
Lazy Linearity for a Core Functional Language
2025
Cited
0
Resume (English only)
Co-authors
20 total
Frank Pfenning
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Luis Caires
Luis Caires
Professor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa
Nobuko Yoshida
Nobuko Yoshida
Department of Computer Science, University of Oxford
Jorge A. Pérez
Jorge A. Pérez
Associate Professor, University of Groningen
Julien Lange
Julien Lange
Department of Computer Science, Royal Holloway, University of London
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Philip Wadler
Philip Wadler
University of Edinburgh and IOHK/IOG