@inbook{atkey-2009-syntax, title={Syntax for Free: Representing Syntax with Binding Using Parametricity}, ISBN={9783642022739}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-02273-9_5}, DOI={10.1007/978-3-642-02273-9_5}, booktitle={Typed Lambda Calculi and Applications}, publisher={Springer Berlin Heidelberg}, author={Atkey, Robert}, year={2009}, pages={35–49} }