On the Relative Usefulness of Fireballs

Beniamino Accattoli, Claudio Sacerdoti Coen

In CSL-LICS 2014, Accattoli and Dal Lago showed that there is an implementation of the ordinary (i.e. strong, pure, call-by-name) $\lambda$-calculus into models like RAM machines which i…