The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space

Presented by Yannick Forster.

Presented at POPL'20
The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space
The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space
The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space

POPL,POPL 2020,Programming languages,Yannick Forster,POPL'20,The,Weak,Call-By-Value,λ-Calculus,is,Reasonable,for,Both,Time,and,Space,