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

Bibliographische Detailangaben
Hauptverfasser: Roth, M, Forster, Y, Kunze, F
Format: Conference item
Sprache:English
Veröffentlicht: Association for Computing Machinery 2020
Beschreibung
Zusammenfassung:

Ähnliche Einträge