Static Blame for gradual typing

Detalles Bibliográficos

Publicado en:	Journal of Functional Programming vol. 34 (Mar 2024)
Autor principal:	Su, Chenghao
Otros Autores:	Chen, Lin, Li, Yanhui, Zhou, Yuming
Publicado:	Cambridge University Press
Materias:	Language Calculus Consistency Performance evaluation Classification Errors Boolean Languages Run time (computers)
Acceso en línea:	Citation/Abstract Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!