Open Call-by-Value

From MaRDI portal
Publication:3179293

DOI10.1007/978-3-319-47958-3_12zbMath1483.68063arXiv1609.00322OpenAlexW2513611569MaRDI QIDQ3179293

Beniamino Accattoli, Giulio Guerrieri

Publication date: 21 December 2016

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

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




Related Items


Uses Software


Cites Work