Strong call-by-value and multi types

DOI10.1007/978-3-031-47963-2_13MaRDI QIDQ6605354

Maico Leberle, Giulio Guerrieri, Beniamino Accattoli

Publication date: 13 September 2024

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Strong call-by-value and multi types