@inproceedings{Dreyer_2010,
doi = {10.1145/1863543.1863566},
url = {https://doi.org/10.1145%2F1863543.1863566},
year = {2010},
month = {sep},
publisher = {{ACM}},
author = {Derek Dreyer and Georg Neis and Lars Birkedal},
title = {The impact of higher-order state and control effects on local relational reasoning},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} international conference on Functional programming}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A