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

מידע ביבליוגרפי
Main Authors: Roth, M, Forster, Y, Kunze, F
פורמט: Conference item
שפה:English
יצא לאור: Association for Computing Machinery 2020
תיאור
סיכום:

פריטים דומים