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

Detaylı Bibliyografya
Asıl Yazarlar: Roth, M, Forster, Y, Kunze, F
Materyal Türü: Conference item
Dil:English
Baskı/Yayın Bilgisi: Association for Computing Machinery 2020
Diğer Bilgiler
Özet:

Benzer Materyaller