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
विवरण
सारांश:

समान संसाधन