Abstract machines for Open Call-by-Value

Beniamino Accattoli, Giulio Guerrieri. Abstract machines for Open Call-by-Value. Science of Computer Programming, 184, 2019. [doi]

Abstract

Abstract is missing.