Bernardo Parente Coutinho Fernandes Toninho
AuthID: R-001-NQ0
1
TÃTULO: Welterweight Go: Boxing, Structural Subtyping, and Generics
AUTORES: Raymond Hu; Julien Lange; Bernardo Toninho; Philip Wadler; Robert Griesemer; Keith Randall;
PUBLICAÇÃO: 2026, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 10, NÚMERO: POPL
AUTORES: Raymond Hu; Julien Lange; Bernardo Toninho; Philip Wadler; Robert Griesemer; Keith Randall;
PUBLICAÇÃO: 2026, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 10, NÚMERO: POPL
2
TÃTULO: Lazy Linearity for a Core Functional Language
AUTORES: Rodrigo Mesquita; Bernardo Toninho;
PUBLICAÇÃO: 2026, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 10, NÚMERO: POPL
AUTORES: Rodrigo Mesquita; Bernardo Toninho;
PUBLICAÇÃO: 2026, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 10, NÚMERO: POPL
3
TÃTULO: Fusing Session-Typed Concurrent Programming into Functional Programming
AUTORES: Sano, Chuta; Garg, Deepak; Kavanagh, Ryan; Pientka, Brigitte; Toninho, Bernardo;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, NÚMERO: ICFP
AUTORES: Sano, Chuta; Garg, Deepak; Kavanagh, Ryan; Pientka, Brigitte; Toninho, Bernardo;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, NÚMERO: ICFP
