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

Bibliografiset tiedot
Päätekijät: Roth, M, Forster, Y, Kunze, F
Aineistotyyppi: Conference item
Kieli:English
Julkaistu: Association for Computing Machinery 2020
Kuvaus
Yhteenveto:

Samankaltaisia teoksia