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
實物特徵
總結:

相似書籍