@inproceedings{clochard:hal-00913431, TITLE = {{Verified Programs with Binders}}, AUTHOR = {Clochard, Martin and March{\'e}, Claude and Paskevich, Andrei}, URL = {https://inria.hal.science/hal-00913431}, BOOKTITLE = {{Programming Languages meets Program Verification}}, ADDRESS = {San Diego, United States}, PUBLISHER = {{ACM Press}}, YEAR = {2014}, MONTH = Jan, PDF = {https://inria.hal.science/hal-00913431/file/plpv03-clochard.pdf}, HAL_ID = {hal-00913431}, HAL_VERSION = {v1}, }