On the Relative Usefulness of Fireballs

DOI10.1109/LICS.2015.23zbMath1394.68058arXiv1505.03791MaRDI QIDQ4635799

Claudio Sacerdoti Coen, Beniamino Accattoli

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.03791

zbMATH Keywords

finite automatafunctional programminglambda calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (10)

Eager functions as processes ⋮ The Negligible and Yet Subtle Cost of Pattern Matching ⋮ Open Call-by-Value ⋮ On the value of variables ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus ⋮ A Fresh Look at the λ-Calculus ⋮ (In)efficiency and reasonable cost models

This page was built for publication: On the Relative Usefulness of Fireballs