The weak call-by-value lambda-calculus is reasonable for both time and space

The weak call-by-value lambda-calculus is reasonable for both time and space

Detalles Bibliográficos
Autores principales: Roth, M, Forster, Y, Kunze, F
Formato: Conference item
Lenguaje:English
Publicado: Association for Computing Machinery 2020
Descripción
Sumario:

Ejemplares similares