Publicações

FREEST: Context-Free Session Types in a Functional Language

AuthID
P-00Q-GDX

Author(s)

Almeida, B

Mordido, A

Vasconcelos, VT

Editor(es)

Martins,F;Orchard,D

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE in EPTCS, ISSN: 2075-2180

Volume: 291, Número: 291, Páginas: 12-23 (12)

Conference

11Th Workshop on Programming Language Approaches to Concurrency- and Communication-Centric Software (Places) Co-Located with European Joint Conferences on Theory and Practice of Software (Etaps), Date: APR 07, 2019, Location: Prague, CZECH REPUBLIC

Indexing