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

Manylion Llyfryddiaeth
Prif Awduron: Roth, M, Forster, Y, Kunze, F
Fformat: Conference item
Iaith:English
Cyhoeddwyd: Association for Computing Machinery 2020
Disgrifiad
Crynodeb:

Eitemau Tebyg