I agree that this site is using cookies. You can find further informations here.
X
Vasconcelos, Vasco T.
89  results:
OpenAccess-fulltext X
Search for persons X
?
1

System $F^\mu_\omega$ with Context-free Session Types:

Costa, Diana ; Mordido, Andreia ; Poças, Diogo.
http://arxiv.org/abs/2301.08659.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Kind Inference for the FreeST Programming Language:

Almeida, Bernardo ; Mordido, Andreia ; Vasconcelos, Vasco T
http://arxiv.org/abs/2304.06396.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

Parameterized Algebraic Protocols:

Mordido, Andreia ; Spaderna, Janek ; Thiemann, Peter.
http://arxiv.org/abs/2304.03764.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Subtyping Context-Free Session Types:

Silva, Gil ; Mordido, Andreia ; Vasconcelos, Vasco T
doi:10.4230/LIPIcs.CONCUR.2023.11.  , 2023
Link: https://doi.org/10.4230/..
 
?
5

Subtyping Context-Free Session Types:

Silva, Gil ; Mordido, Andreia ; Vasconcelos, Vasco T
http://arxiv.org/abs/2307.05661.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

The Different Shades of Infinite Session Types:

Gay, Simon J ; Pocas, Diogo ; Vasconcelos, Vasco T
http://eprints.gla.ac.uk/277455/1/277455.pdf.  , 2022
Link: http://eprints.gla.ac.uk..
 
?
7

Higher-order Context-free Session Types in System F:

Costa, Diana ; Mordido, Andreia ; Poças, Diogo.
http://arxiv.org/abs/2203.12877.  , 2022
Link: http://arxiv.org/abs/220..
 
?
8

The Different Shades of Infinite Session Types:

Gay, Simon J ; Poças, Diogo ; Vasconcelos, Vasco T
http://arxiv.org/abs/2201.08275.  , 2022
Link: http://arxiv.org/abs/220..
 
?
9

Polymorphic Lambda Calculus with Context-Free Session Types:

Almeida, Bernardo ; Mordido, Andreia ; Thiemann, Peter.
http://arxiv.org/abs/2106.06658.  , 2021
Link: http://arxiv.org/abs/210..
 
?
10

Protocol-based Smart Contract Generation:

Falcão, Afonso ; Mordido, Andreia ; Vasconcelos, Vasco T
http://arxiv.org/abs/2108.02672.  , 2021
Link: http://arxiv.org/abs/210..
 
?
11

SafeRESTScript: Statically Checking REST API Consumers:

Burnay, Nuno ; Lopes, Antónia ; Vasconcelos, Vasco T
http://arxiv.org/abs/2007.08048.  , 2020
Link: http://arxiv.org/abs/200..
 
?
12

Mixed Sessions: the Other Side of the Tape:

Casal, Filipe ; Mordido, Andreia ; Vasconcelos, Vasco T
http://arxiv.org/abs/2004.01324.  , 2020
Link: http://arxiv.org/abs/200..
 
?
13

Mixed Sessions:

Vasconcelos, Vasco T ; Casal, Filipe ; Almeida, Bernardo.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702257/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
14

Label-dependent session types:

Thiemann, Peter ; Vasconcelos, Vasco T
https://freidok.uni-freiburg.de/data/219291.  , 2020
Link: https://freidok.uni-frei..
 
?
15

Deciding the Bisimilarity of Context-Free Session Types:

Almeida, Bernardo ; Mordido, Andreia ; Vasconcelos, Vasco T
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480690/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
1-15