Counting Successes: Effects and Transformations for Non-Deterministic Programs
- Nick Benton ,
- Andrew Kennedy ,
- Martin Hofmann ,
- Vivek Nigam
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
We give a simple effect system for non-deterministic programs, tracking static approximations to the number of results that may be produced by each computation. A relational semantics for the effect system establishes the soundness of both the analysis and its use in effect-based program transformations.