209
click to vote
APLAS
2009
ACM
16 years 1 days ago
2009
ACM
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 ...