Type-directed operational semantics for gradual typing

Zapisane w:

Opis bibliograficzny
Wydane w:	Journal of Functional Programming vol. 34 (Sep 2024)
1. autor:	YE, WENJIA
Kolejni autorzy:	BRUNO C D S OLIVEIRA
Wydane:	Cambridge University Press
Hasła przedmiotowe:	Language Calculus Semantics Labels Annotations Theorem proving Programming languages
Dostęp online:	Citation/Abstract Full Text - PDF
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!