Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações a aguardar confirmação

1
TÍTULO: Lazy Linearity for a Core Functional Language
AUTORES: Rodrigo Mesquita; Bernardo Toninho;
PUBLICAÇÃO: 2026, FONTE: Proc. ACM Program. Lang., VOLUME: 10, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
AUTORES: Vladyslav Mikytiv; Bernardo Toninho; Carla Ferreira;
PUBLICAÇÃO: 2026, FONTE: CoRR, VOLUME: abs/2603.17909
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Lazy Linearity for a Core Functional Language
AUTORES: Rodrigo Mesquita; Bernardo Toninho;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.10361
INDEXADO EM: DBLP
NO MEU: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service