@inproceedings(Ahmed:2011fk, ) @article(Appel:2001aa, ) @article(Dreyer:2011wl, ) @book(Harper:2012aa, ) @article(Jacobs:2021aa, doi = {10.1145/3434288}, ) @article(JUNG:2018aa, doi = {10.1017/S0956796818000151}, ) @article(Labrada:2020tk, eprint = {1807.04596}, ) @unpublished(McBride:2005aa, ) @article(New:2018aa, doi = {10.1145/3236768}, ) @article(New:2019ab, doi = {10.1145/3371114}, ) @phdthesis(New:2020ab, ) @book(Nipkow:2002jl, ) @(Siek:2021to, url = {https://github.com/jsiek/abstract-binding-trees}, ) @(Siek:2023aa, url = {https://github.com/jsiek/step-indexed-logic}, ) @inproceedings(Siek:2006bh, url = {http://scheme2006.cs.uchicago.edu/13-siek.pdf}, ) @inproceedings(Siek:2007qy, doi = {10.1007/978-3-540-73589-2_2}, ) @article(Siek:2021vf, doi = {10.1017/S0956796821000101}, ) @inproceedings(Siek:2015ac, doi = {10.4230/LIPIcs.SNAPL.2015.274}, ) @manual(The-Coq-Development-Team:2004kf, ) @article(Toro:2018aa, doi = {10.1145/3229061}, ) @book(Wadler:2020aa, url = {http://plfa.inf.ed.ac.uk/20.07/}, )