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

Bibliográfalaš dieđut
Váldodahkkit: Roth, M, Forster, Y, Kunze, F
Materiálatiipa: Conference item
Giella:English
Almmustuhtton: Association for Computing Machinery 2020
Govvádus
Čoahkkáigeassu:

Geahča maid