Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publications Requiring Validation

1
TITLE: Lazy Linearity for a Core Functional Language
AUTHORS: Rodrigo Mesquita; Bernardo Toninho;
PUBLISHED: 2026, SOURCE: Proc. ACM Program. Lang., VOLUME: 10, ISSUE: POPL
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: Lazy Linearity for a Core Functional Language
AUTHORS: Rodrigo Mesquita; Bernardo Toninho;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.10361
INDEXED IN: DBLP
IN MY: DBLP

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service