3
TITLE: Kind Inference for the FreeST Programming Language  Full Text
AUTHORS: Almeida, Bernardo; Mordido, Andreia ; Vasconcelos, Vasco T. ;
PUBLISHED: 2023, SOURCE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 378, ISSUE: 378
INDEXED IN: WOS DBLP CrossRef
IN MY: DBLP
4
TITLE: Kind Inference for the FreeST Programming Language  Full Text
AUTHORS: Almeida, B; Mordido, A; Vasconcelos, VT ;
PUBLISHED: 2023, SOURCE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2023 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 378
INDEXED IN: Scopus Unpaywall
5
TITLE: Parameterized Algebraic Protocols
AUTHORS: Andreia Mordido ; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.03764
INDEXED IN: Scopus DBLP
IN MY: DBLP
6
TITLE: Subtyping Context-Free Session Types
AUTHORS: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, VOLUME: 279
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: Subtyping Context-Free Session Types
AUTHORS: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.05661
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: System Fμω with Context-free Session Types
AUTHORS: Diana Costa; Andreia Mordido ; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.08659
INDEXED IN: DBLP
IN MY: DBLP
9
TITLE: A Type Discipline for Message Passing Parallel Programs  Full Text
AUTHORS: Vasconcelos, Vasco T. ; Martins, Francisco; Lopez, Hugo Andres; Yoshida, Nobuko;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
10
TITLE: Higher-order Context-free Session Types in System F  Full Text
AUTHORS: Costa, Diana; Mordido, Andreia ; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 356, ISSUE: 356
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
Página 1 de 14. Total de resultados: 133.