The importance of being extrinsic : coherence and adequacy for a call-by-value language

Ponencia presentada en el 21st Brazilian Symposium on Programming Languages. Fortaleza, Brasil, 21 al 22 de septiembre de 2017.

Guardado en:
Detalles Bibliográficos
Autores principales: Gadea, Alejandro Emilio, Gunther, Emmanuel, Pagano, Miguel María
Formato: conferenceObject
Lenguaje:Inglés
Publicado: 2025
Materias:
Computational adequacy
Coherence
Mechanization
Acceso en línea:http://hdl.handle.net/11086/555060
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
Descripción
Sumario:Ponencia presentada en el 21st Brazilian Symposium on Programming Languages. Fortaleza, Brasil, 21 al 22 de septiembre de 2017.

Ejemplares similares