Types of fireballs

DOI10.1007/978-3-030-02768-1_3zbMath1519.68042arXiv1808.10389OpenAlexW2896999751MaRDI QIDQ6166135

Giulio Guerrieri, Beniamino Accattoli

Publication date: 2 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (8)

Quantitative weak linearisation ⋮ Quantitative global memory ⋮ Tight typings and split bounds, fully developed ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The bang calculus revisited ⋮ The bang calculus revisited ⋮ A Fresh Look at the λ-Calculus

This page was built for publication: Types of fireballs