References

  1. .
  2. .
  3. .
  4. .
  5. doi:10.1145/3434288.
  6. doi:10.1017/S0956796818000151.
  7. ArXiv:1807.04596.
  8. .
  9. doi:10.1145/3236768.
  10. doi:10.1145/3371114.
  11. .
  12. .
  13. Available at https://github.com/jsiek/abstract-binding-trees.
  14. Available at https://github.com/jsiek/step-indexed-logic.
  15. Available at http://scheme2006.cs.uchicago.edu/13-siek.pdf.
  16. doi:10.1007/978-3-540-73589-2_2.
  17. doi:10.1017/S0956796821000101.
  18. doi:10.4230/LIPIcs.SNAPL.2015.274.
  19. .
  20. doi:10.1145/3229061.
  21. Available at http://plfa.inf.ed.ac.uk/20.07/.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org