A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

Guardado en:

Detalles Bibliográficos
Publicado en:	Journal of Functional Programming vol. 31 (2021)
Autor principal:	Allais, Guillaume
Otros Autores:	Atkey, Robert, Chapman, James, McBride, Conor, MCKINNA, JAMES
Publicado:	Cambridge University Press
Materias:	Programming languages Semantics Syntax Binding Substitutes Universe
Acceso en línea:	Citation/Abstract Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!