@inproceedings{zeilberger-2008-focusing, series={POPL08}, title={Focusing and higher-order abstract syntax}, url={http://dx.doi.org/10.1145/1328438.1328482}, DOI={10.1145/1328438.1328482}, booktitle={Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, publisher={ACM}, author={Zeilberger, Noam}, year={2008}, month=Jan, pages={359–369}, collection={POPL08} }