On the Relative Usefulness of Fireballs
From MaRDI portal
Publication:4635799
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
Related Items
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