Data-Flow Analyses as Effects and Graded Monads.

Andrej Ivaskovic, Alan Mycroft, Dominic Orchard

Browse the full FSCD paper archive.