37 citations · 96 across the 19 of their papers we have counts for
1 paper · 1 filter
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…