Linear type theory for asynchronous session types von GAY, SIMON J., VASCONCELOS, VASCO T.

Volltext

FreeST: Context-free Session Types in a Functional Language von Almeida, Bernardo, Mordido, Andreia, T. Vasconcelos, Vasco

Volltext

Foundations of Session Types and Behavioural Contracts von Hüttel, Hans, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, Ravara, António, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi

Volltext

Linear Contextual Metaprogramming and Session Types von Ângelo, Pedro, Igarashi, Atsushi, T. Vasconcelos, Vasco

Volltext

Higher-order Context-free Session Types in System F von Costa, Diana, Mordido, Andreia, Poças, Diogo, T. Vasconcelos, Vasco

Volltext

The computational content of atomic polymorphism von Ferreira, Gilda, Vasconcelos, Vasco T

Volltext

Mixed Sessions: the Other Side of the Tape von Casal, Filipe, Mordido, Andreia, T. Vasconcelos, Vasco

Volltext

Gradual session types von Igarashi, Atsushi, Thiemann, Peter, Vasconcelos, Vasco T., Wadler, Philip

Volltext

Protocol-Based Smart Contract Generation von Falcão, Afonso, Mordido, Andreia, Vasconcelos, Vasco T.

Volltext

Type checking a multithreaded functional language with session types von Vasconcelos, Vasco T., Gay, Simon J., Ravara, António

Volltext

Gradual session types von IGARASHI, ATSUSHI, THIEMANN, PETER, TSUDA, YUYA, VASCONCELOS, VASCO T., WADLER, PHILIP

Volltext

Types for X10 Clocks von Martins, Francisco, T. Vasconcelos, Vasco, Cogumbreiro, Tiago

Volltext

Modular session types for objects von Gay, Simon J., Gesbert, Nils, Ravara, António, Vasconcelos, Vasco T.

Volltext

Fundamentals of session types von Vasconcelos, Vasco T.

Volltext

A Linear Account of Session Types in the Pi Calculus von Giunti, Marco, Vasconcelos, Vasco T.

Volltext

Language primitives and type discipline for structured communication-based programming von Honda, Kohei, Vasconcelos, Vasco T., Kubo, Makoto

Volltext

An Algebra of Behavioural Types von Ravara, António, Resende, Pedro, T. Vasconcelos, Vasco

Volltext

Thirthy Years of Session Types: Keynote Talk at the 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software von Vasconcelos, Vasco T.

Volltext

Polymorphic lambda calculus with context-free session types von Almeida, Bernardo, Mordido, Andreia, Thiemann, Peter, Vasconcelos, Vasco T.

Volltext

Mixed sessions von Casal, Filipe, Mordido, Andreia, Vasconcelos, Vasco T.

Volltext