1 citations · 3 across the 7 of their papers we have counts for
1 paper · 2 filters
Niccolò Veltri, Niels F. W. Voorneveld
We formulate a framework for describing behaviour of effectful higher-order recursive programs. Examples of effects are implemented using effect operations, and include: execution…