Dreyer, Derek Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Neis, Georg Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Dreyer, D., Neis, G., & Birkedal, L. (2012). The Impact of Higher-order State and Control Effects on Local Relational Reasoning. Journal of Functional Programming, 22(4&5), 477-528. doi:10.1017/S095679681200024X.