Implementing open call-by-value
From MaRDI portal
Publication:2093145
DOI10.1007/978-3-319-68972-2_1zbMath1498.68063arXiv1701.08186OpenAlexW2764242133MaRDI QIDQ2093145
Giulio Guerrieri, Beniamino Accattoli
Publication date: 4 November 2022
Full work available at URL: https://arxiv.org/abs/1701.08186
Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
The Negligible and Yet Subtle Cost of Pattern Matching ⋮ Unnamed Item ⋮ A Fresh Look at the λ-Calculus ⋮ (In)efficiency and reasonable cost models
This page was built for publication: Implementing open call-by-value