Vasco T. Vasconcelos

60 papers A 4B 3C 1Journal 33Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Contextual Metaprogramming for Session Types. ESOP (1) Pedro Ângelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos
2026	J	`jnl`	Contextual Metaprogramming for Session Types. CoRR Pedro Ângelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos
2026	J	`jnl`	Kind inference for the FreeST programming language. J. Log. Algebraic Methods Program. Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2026	J	`jnl`	Subtyping context-free session types. Theor. Comput. Sci. Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
2025	J	`jnl`	Borrowing from Session Types. Proc. ACM Program. Lang. Hannes Saffrich, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2025	—	`conf`	Local Type Inference for Context-Free Session Types. PLACES@ETAPS Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2024	—	`conf`	Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
2024	—	`conf`	Linear Contextual Metaprogramming and Session Types. PLACES@ETAPS Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos
2024	J	`jnl`	Polymorphic higher-order context-free session types. Theor. Comput. Sci. Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2024	J	`jnl`	Simple grammar bisimilarity, with an application to session type equivalence. CoRR Diogo Poças, Vasco T. Vasconcelos
2023	C	`ed.`	International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023 PPDP Santiago Escobar, Vasco T. Vasconcelos
2023	—	`conf`	Kind Inference for the FreeST Programming Language. PLACES@ETAPS Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2023	J	`jnl`	Parameterized Algebraic Protocols. CoRR Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2023	J	`jnl`	Parameterized Algebraic Protocols. Proc. ACM Program. Lang. Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2023	B	`conf`	Subtyping Context-Free Session Types. CONCUR Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
2023	J	`jnl`	Subtyping Context-Free Session Types. CoRR Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
2023	A	`conf`	System F ESOP Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
2023	J	`jnl`	System F CoRR Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2022	J	`jnl`	A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida
2022	—	`conf`	Higher-order Context-free Session Types in System F. PLACES@ETAPS Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2022	J	`jnl`	Mixed sessions. Theor. Comput. Sci. Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
2022	J	`jnl`	Polymorphic lambda calculus with context-free session types. Inf. Comput. Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
2022	—	`conf`	Protocol-Based Smart Contract Generation. Financial Cryptography Workshops Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
2022	B	`conf`	The Different Shades of Infinite Session Types. FoSSaCS Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
2022	J	`jnl`	The Different Shades of Infinite Session Types. CoRR Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
2021	J	`jnl`	Polymorphic Context-free Session Types. CoRR Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
2021	J	`jnl`	Protocol-based Smart Contract Generation. CoRR Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
2020	—	`conf`	Deciding the Bisimilarity of Context-Free Session Types. TACAS (2) Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2020	—	`conf`	Duality of Session Types: The Final Cut. PLACES@ETAPS Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
2020	J	`jnl`	Label-dependent session types. Proc. ACM Program. Lang. Peter Thiemann, Vasco T. Vasconcelos
2020	A	`conf`	Mixed Sessions. ESOP Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
2020	—	`conf`	Mixed Sessions: the Other Side of the Tape. PLACES@ETAPS Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
2020	J	`jnl`	SafeRESTScript: Statically Checking REST API Consumers. CoRR Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
2020	B	`conf`	Statically Checking REST API Consumers. SEFM Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
2019	—	`conf`	FreeST: Context-free Session Types in a Functional Language. PLACES@ETAPS Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2019	J	`jnl`	Gradual session types. J. Funct. Program. Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
2019	—	`conf`	HeadREST: A Specification Language for RESTful APIs. Models, Languages, and Tools for Concurrent and Distributed Programming Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay
2019	J	`jnl`	Label-Dependent Session Types. CoRR Peter Thiemann, Vasco T. Vasconcelos
2019	J	`jnl`	The computational content of atomic polymorphism. Log. J. IGPL Gilda Ferreira, Vasco T. Vasconcelos
2018	J	`jnl`	Affine Sessions. CoRR Dimitris Mostrous, Vasco T. Vasconcelos
2018	J	`jnl`	Affine Sessions. Log. Methods Comput. Sci. Dimitris Mostrous, Vasco T. Vasconcelos
2018	J	`jnl`	Dependent Types for Class-based Mutable Objects (Artifact). Dagstuhl Artifacts Ser. Joana Campos, Vasco T. Vasconcelos
2018	A	`conf`	Dependent Types for Class-based Mutable Objects. ECOOP Joana Campos, Vasco T. Vasconcelos
2018	J	`jnl`	Gradual Session Types. CoRR Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
2017	J	`jnl`	Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proc. ACM Program. Lang. Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman
2017	J	`jnl`	Gradual session types. Proc. ACM Program. Lang. Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
2017	—	`ed.`	Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017. PLACES@ETAPS Vasco T. Vasconcelos, Philipp Haller
2017	J	`jnl`	Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida
2016	J	`jnl`	Behavioral Types in Programming Languages. Found. Trends Program. Lang. Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
2016	A	`conf`	Context-free session types. ICFP Peter Thiemann, Vasco T. Vasconcelos
2016	J	`jnl`	Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
2015	—	`conf`	Imperative objects with dependent types. FTfJP@ECOOP Joana Campos, Vasco T. Vasconcelos
2015	J	`jnl`	Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). J. Log. Algebraic Methods Program. Alastair F. Donaldson, Vasco T. Vasconcelos
2014	—	`ed.`	Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. PLACES Alastair F. Donaldson, Vasco T. Vasconcelos
2013	—	`conf`	Towards deductive verification of MPI programs against session types. PLACES Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
2012	—	`conf`	A Type System for Flexible Role Assignment in Multiparty Communicating Systems. TGC Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
2012	J	`jnl`	Fundamentals of session types. Inf. Comput. Vasco T. Vasconcelos
2011	J	`jnl`	Sessions, from Types to Programming Languages. Bull. EATCS Vasco T. Vasconcelos
2010	—	`conf`	Channels as Objects in Concurrent Object-Oriented Programming PLACES Joana Campos, Vasco T. Vasconcelos
2009	—	`ed.`	Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@DisCoTec 2008, Oslo, Norway, June 7, 2008 PLACES@DisCoTec Vasco T. Vasconcelos, Nobuko Yoshida