A simple blame calculus for explicit nulls

Detalles Bibliográficos

Publicado en:	Journal of Functional Programming vol. 34 (Dec 2024)
Autor principal:	LHOTÁK, ONDŘEJ
Otros Autores:	Wadler, Philip
Publicado:	Cambridge University Press
Materias:	Language Calculus Java Theorems Theorem proving Semantics
Acceso en línea:	Citation/Abstract Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!