References
.
.
.
.
doi:
10.1145/3434288
.
doi:
10.1017/S0956796818000151
.
ArXiv:
1807.04596
.
.
doi:
10.1145/3236768
.
doi:
10.1145/3371114
.
.
.
Available at
https://github.com/jsiek/abstract-binding-trees
.
Available at
https://github.com/jsiek/step-indexed-logic
.
Available at
http://scheme2006.cs.uchicago.edu/13-siek.pdf
.
doi:
10.1007/978-3-540-73589-2_2
.
doi:
10.1017/S0956796821000101
.
doi:
10.4230/LIPIcs.SNAPL.2015.274
.
.
doi:
10.1145/3229061
.
Available at
http://plfa.inf.ed.ac.uk/20.07/
.
Comments and questions to:
eptcs@eptcs.org
For website issues:
webmaster@eptcs.org