3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Roberto Amadio
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable s…