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
الوصف
الملخص:

مواد مشابهة