Home » Authors » Beniamino Accattoli, Giulio Guerrieri, Maico Leberle

Beniamino Accattoli, Giulio Guerrieri, Maico Leberle

Public reference bibliography and cataloged PDF materials authored or published by Beniamino Accattoli, Giulio Guerrieri, Maico Leberle.

Found 1 document(s) Page 1 of 1

Strong Call-by-Value and Multi Types

Year: 2023 • Source: hal.science • Listed PDF

This paper provides foundations for strong (that is, possibly under abstraction) call-by-value evaluation for the λ-calculus. Recently, Accattoli et al. proposed a form of call-by-value strong evaluation for the λ-calcul...