Victor Arrial

The Benefits of Diligence

2024 · Lecture notes in computer science

Abstract This paper studies the strength of embedding Call-by-Name () and Call-by-Value () into a unifying framework called the Bang Calculus (). These embeddings enable establishing (static and dynamic) properties of and through their respective …