نتائج البحث

A concurrent programming language with session types

• Authors : Franco, Juliana Patrícia Vicente;

Subjects: Tipos de sessão; Concorrência; Tipos refinados

تفاصيل العنوان

Linear and shared objects in concurrent programming

• Authors : Campos, Joana Correia; Vasconcelos, Vasco Thudichum, 1964-

Subjects: Object-oriented programming; Concurrency; Type systems

تفاصيل العنوان

LINEAR AND SHARED OBJECTS IN CONCURRENT PROGRAMMING

• Authors : Campos, Joana Correia; Vasconcelos, Vasco Manuel Thudichum de Serpa

Subjects: sistemas de tipos; objectos lineares; concorrência

تفاصيل العنوان

Session Types for Functional Multithreading

• Authors : Vasconcelos, Vasco T.; Ravara, António; Gay, Simon

Subjects: Session types; static typechecking; concurrent programming

تفاصيل العنوان

Algorithms for infinite session types

• Authors : Sardinha, Inês Maria Caldeira;

Subjects: Tipos de sessão; Tipos infinitos; Algoritmos

تفاصيل العنوان

Compiling the $\pi$-calculus into a Multithreaded Typed Assembly Language

• Authors : Cogumbreiro, Tiago; Martins, Francisco; Vasconcelos, Vasco T.

تفاصيل العنوان