( en | de | ru )

 

Disambiguierung von "Vasconcelos, Vasco T."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SafeRESTScript: Statically Checking REST API Consumers.

, , und . CoRR, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Vasco Souza

Vasco Reuss

João Vasconcelos

Daniel Vasconcelos

Cristian Vasco

 

Weitere Publikationen von Autoren mit dem selben Namen

Compiling the π-calculus into a Multithreaded Typed Assembly Language, , und . Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)A Multithreaded Typed Assembly Language, und . Multithreading in Hardware and Software: Formal Approaches to Design and Verification, (August 2006)Dependent Types for Class-based Mutable Objects (Artifact)., und . Dagstuhl Artifacts Ser., 4 (3): 01:1-01:2 (2018)Mixed Sessions: the Other Side of the Tape., , und . PLACES@ETAPS, Volume 314 von EPTCS, Seite 46-60. (2020)Mixed Sessions., , , und . ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 715-742. Springer, (2020)Polymorphic lambda calculus with context-free session types., , , und . Inf. Comput., 289 (Part): 104948 (2022)Channels as Objects in Concurrent Object-Oriented Programming, und . PLACES, Volume 69 von EPTCS, Seite 12-28. (2010)Higher-order Context-free Session Types in System F., , , und . PLACES@ETAPS, Volume 356 von EPTCS, Seite 24-35. (2022)Linear Contextual Metaprogramming and Session Types., , und . CoRR, (2024)HeadREST: A Specification Language for RESTful APIs., , , und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 428-434. Springer, (2019)