Synchronous Programming with Refinement Types

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Jiawei, de Mendonça, José Luiz Vargas, Ayele, Bereket Shimels, Bekele, Bereket Ngussie, Jalili, Shayan, Sharma, Pranjal, Wohlfeil, Nicholas, Zhang, Yicheng, Jeannin, Jean-Baptiste
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Sea el primero en dejar un comentario!

Ejemplares similares