The impact of higher-order state and control effects on local relational reasoning (Technical appendix (2010)
by
Derek Dreyer
,
Georg Neis
,
Lars Birkedal
| Citations: | 22 - 9 self |
Document Versions
| The impact of higher-order state and control effects on local relational reasoning (Technical appendix –Derek Dreyer, Georg Neis, Lars Birkedal — 2010 |
