Publication

On Effect Analysis for Programs with Callbacks