Type-directed operational semantics for gradual typing

Detalles Bibliográficos

Publicado en:	Journal of Functional Programming vol. 34 (Sep 2024)
Autor principal:	YE, WENJIA
Otros Autores:	BRUNO C D S OLIVEIRA
Publicado:	Cambridge University Press
Materias:	Language Calculus Semantics Labels Annotations Theorem proving Programming languages
Acceso en línea:	Citation/Abstract Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!