5 citations · 8 across the 5 of their papers we have counts for
1 paper · 2 filters
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos +1
Call-by-Push-Value (CBPV) is a programming paradigm subsuming both Callby-Name (CBN) and Call-by-Value (CBV) semantics. The essence of this paradigm is captured by the Bang Calculu…