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. (2010). The impact of higher-order state and control effects on local relational reasoning. In ICFP’10: proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming (pp. 143-156). New York, NY: ACM.