@Inproceedings{EPTCS113.11, author = {Ciaffaglione, Alberto and Scagnetto, Ivan}, year = {2013}, title = {A weak HOAS approach to the POPLmark Challenge}, editor = {Kesner, Delia and Viana, Petrucio}, booktitle = {{\rm Proceedings Seventh Workshop on} Logical and Semantic Frameworks, with Applications, {\rm Rio de Janeiro, Brazil, September 29-30, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {113}, publisher = {Open Publishing Association}, pages = {109-124}, doi = {10.4204/EPTCS.113.11}, }