( en | de | ru )

 

Disambiguation of "Vasconcelos, Vasco T."

Author of the publication

copydeleteadd this publication to your clipboard
Behavioral Types in Programming Languages.

, , , , , , , , , , , , , , , , , , and . Foundations and Trends in Programming Languages, 3 (2-3): 95-230 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vasco Souza

Vasco Reuss

João Vasconcelos

Daniel Vasconcelos

Cristian Vasco

 

Other publications of authors with the same name

Mixed Sessions: the Other Side of the Tape., , and . PLACES@ETAPS, volume 314 of EPTCS, page 46-60. (2020)Dependent Types for Class-based Mutable Objects (Artifact)., and . Dagstuhl Artifacts Ser., 4 (3): 01:1-01:2 (2018)Polymorphic lambda calculus with context-free session types., , , and . Inf. Comput., 289 (Part): 104948 (2022)Compiling the π-calculus into a Multithreaded Typed Assembly Language, , and . Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)A Multithreaded Typed Assembly Language, and . Multithreading in Hardware and Software: Formal Approaches to Design and Verification, (August 2006)Channels as Objects in Concurrent Object-Oriented Programming, and . PLACES, volume 69 of EPTCS, page 12-28. (2010)Higher-order Context-free Session Types in System F., , , and . PLACES@ETAPS, volume 356 of EPTCS, page 24-35. (2022)Mixed Sessions., , , and . ESOP, volume 12075 of Lecture Notes in Computer Science, page 715-742. Springer, (2020)Statically Checking REST API Consumers., , and . SEFM, volume 12310 of Lecture Notes in Computer Science, page 265-283. Springer, (2020)Label-dependent session types., and . Proc. ACM Program. Lang., 4 (POPL): 67:1-67:29 (2020)