The impact of higher-order state and control effects on local relational reasoning.

Derek Dreyer, Georg Neis, Lars Birkedal

Browse the full ICFP paper archive.