E-LIB Suche - Ergebnisse für: Vasco T. Vasconcelos

1

Polymorphic higher-order context-free session types:

Costa, Diana ; Mordido, Andreia ; Poças, Diogo.
Theoretical Computer Science. 1001 (2024) - p. 114582 , 2024

Link: https://doi.org/10.1016/..

2

Proceedings of the 25th International Symposium on Principl..:

Escobar, Santiago ; Vasconcelos, Vasco T. , 2023

Link: https://dl.acm.org/doi/1..

3

Mixed sessions:

Casal, Filipe ; Mordido, Andreia ; Vasconcelos, Vasco T.
Theoretical Computer Science. 897 (2022) - p. 23-48 , 2022

Link: https://doi.org/10.1016/..

4

Deductive Verification of MPI Protocols:

, In: Behavioural Types,

Vasconcelos, Vasco T. ; Martins, Francisco ; Marques, Eduardo R. B... - p. 353-372 , 2022

Link: https://doi.org/10.1201/..

5

Polymorphic lambda calculus with context-free session types:

Almeida, Bernardo ; Mordido, Andreia ; Thiemann, Peter.
Information and Computation. 289 (2022) - p. 104948 , 2022

Link: https://doi.org/10.1016/..

6

A Type Discipline for Message Passing Parallel Programs:

Vasconcelos, Vasco T. ; Martins, Francisco ; López, Hugo-Andrés.
ACM Transactions on Programming Languages and Systems. 44 (2022) 4 - p. 1-55 , 2022

Link: https://doi.org/10.1145/..

7

Gradual session types:

IGARASHI, ATSUSHI ; THIEMANN, PETER ; TSUDA, YUYA..
Journal of Functional Programming. 29 (2019) - p. , 2019

Link: https://doi.org/10.1017/..

8

Label-dependent session types:

Thiemann, Peter ; Vasconcelos, Vasco T.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

9

Label-dependent session types:

Thiemann, Peter ; Vasconcelos, Vasco T.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

10

The computational content of atomic polymorphism:

Ferreira, Gilda ; Vasconcelos, Vasco T
Logic Journal of the IGPL. 27 (2018) 5 - p. 625-638 , 2018

Link: https://doi.org/10.1093/..

11

Gradual session types:

Igarashi, Atsushi ; Thiemann, Peter ; Vasconcelos, Vasco T..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-28 , 2017

Link: https://doi.org/10.1145/..

12

Deadlock avoidance in parallel programs with futures: why p..:

Cogumbreiro, Tiago ; Surendran, Rishi ; Martins, Francisco...
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-26 , 2017

Link: https://doi.org/10.1145/..

13

Deadlock avoidance in parallel programs with futures: why p..:

Cogumbreiro, Tiago ; Surendran, Rishi ; Martins, Francisco...
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-26 , 2017

Link: https://dl.acm.org/doi/1..

14

Gradual session types:

Igarashi, Atsushi ; Thiemann, Peter ; Vasconcelos, Vasco T..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-28 , 2017

Link: https://dl.acm.org/doi/1..

15

Context-free session types:

Thiemann, Peter ; Vasconcelos, Vasco T.
ACM SIGPLAN Notices. 51 (2016) 9 - p. 462-475 , 2016

Link: https://doi.org/10.1145/..