Strong Call-by-Value and Multi Types

Beniamino Accattoli, Giulio Guerrieri, Maico Leberle

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