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

Bibliografische gegevens
Hoofdauteurs: Roth, M, Forster, Y, Kunze, F
Formaat: Conference item
Taal:English
Gepubliceerd in: Association for Computing Machinery 2020
Omschrijving
Samenvatting:

Gelijkaardige items