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

Bibliografiska uppgifter
Huvudupphovsmän: Roth, M, Forster, Y, Kunze, F
Materialtyp: Conference item
Språk:English
Publicerad: Association for Computing Machinery 2020
Beskrivning
Sammanfattning:

Liknande verk