Session Types with Arithmetic Refinements and Their Application to Work Analysis

Session types statically prescribe bidirectional communication protocols for message-passing processes and are in a Curry-Howard correspondence with linear logic propositions. However, simple session types cannot specify properties beyond the type of exchanged messages. In this paper we extend the t...

Descripción completa

Detalles Bibliográficos

Autores principales:	Das, Ankush, Pfenning, Frank
Formato:	Artículo
Publicado:	2020
Materias:	Programming Languages Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2001.04439 http://arxiv.org/abs/2001.04439
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!