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

Podrobná bibliografie
Hlavní autoři: Roth, M, Forster, Y, Kunze, F
Médium: Conference item
Jazyk:English
Vydáno: Association for Computing Machinery 2020
Popis
Shrnutí:

Podobné jednotky