Document Versions

The impact of higher-order state and control effects on local relational reasoning –Derek Dreyer, Georg Neis, Lars Birkedal — 2010
The impact of higher-order state and control effects on local relational reasoning –Derek Dreyer, Georg Neis, Lars Birkedal — 2012
The impact of higher-order state and control effects on local relational reasoning –Derek Dreyer, Georg Neis, Lars Birkedal — 2012
The impact of higher-order state and control effects on local relational reasoning –Derek Dreyer, Georg Neis, Lars Birkedal — 2010
The impact of higher-order state and control effects on local relational reasoning –Derek Dreyer , Georg Neis, Lars Birkedal — 2012
The impact of higher-order state and control effects on local relational reasoning –Derek Dreyer, Georg Neis, Lars Birkedal — 2012