@inproceedings{vanhorn-2010-abstracting, series={ICFP ’10}, title={Abstracting abstract machines}, url={http://dx.doi.org/10.1145/1863543.1863553}, DOI={10.1145/1863543.1863553}, booktitle={Proceedings of the 15th ACM SIGPLAN international conference on Functional programming}, publisher={ACM}, author={Van Horn, David and Might, Matthew}, year={2010}, month=Sept, pages={51–62}, collection={ICFP ’10} }