Luís Manuel Marques da Costa Caires
AuthID: R-000-9MG
1
TITLE: The Session Abstract Machine
AUTHORS: Luís Caires; Bernardo Toninho;
PUBLISHED: 2024, SOURCE: 33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 in Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, VOLUME: 14576
AUTHORS: Luís Caires; Bernardo Toninho;
PUBLISHED: 2024, SOURCE: 33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 in Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, VOLUME: 14576
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP2
TITLE: Programming Languages and Systems. 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and ...
AUTHORS: Luís Caires;
PUBLISHED: 2019
AUTHORS: Luís Caires;
PUBLISHED: 2019
INDEXED IN: 
Openlibrary
Openlibrary3
TITLE: Linear logic propositions as session types
AUTHORS: Caires, L; Pfenning, F; Toninho, B;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 29, ISSUE: 5
AUTHORS: Caires, L; Pfenning, F; Toninho, B;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 29, ISSUE: 5
INDEXED IN: Scopus
Scopus