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

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Roth, M, Forster, Y, Kunze, F
Ձևաչափ: Conference item
Լեզու:English
Հրապարակվել է: Association for Computing Machinery 2020
Նկարագրություն
Ամփոփում:

Նմանատիպ նյութեր