References

  1. .
  2. doi:10.1145/3110281.
  3. doi:10.4230/LIPIcs.ECOOP.2021.20.
  4. doi:10.1145/3427081.3427084.
  5. doi:10.1016/j.cola.2021.101077.
  6. doi:10.1007/978-3-030-78142-2_5.
  7. doi:10.1145/3209108.3209146.
  8. Available at https://github.com/esl/gradient.
  9. doi:10.4204/EPTCS.223.3.
  10. doi:10.2168/LMCS-10(2:15)2014.
  11. doi:10.1145/3239332.3242765.
  12. doi:10.1145/3331542.3342571.
  13. doi:10.4230/LIPIcs.ECOOP.2021.10.
  14. .
  15. doi:10.1007/978-3-642-19056-8_4.
  16. doi:10.1145/2827695.
  17. doi:10.1145/2808098.2808100.
  18. doi:10.1145/360248.360251.
  19. doi:10.4204/EPTCS.304.4.
  20. doi:10.1007/978-3-030-50029-0_8.
  21. doi:10.1145/1140335.1140356.
  22. doi:10.1145/3110279.
  23. doi:10.1007/978-3-642-21464-6_7.
  24. doi:10.4204/EPTCS.155.5.
  25. doi:10.23638/LMCS-13(1:17)2017.
  26. doi:10.1017/S0956796816000289.
  27. .
  28. doi:10.1017/S0956796822000016.
  29. doi:10.4230/LIPIcs.ECOOP.2016.21.
  30. doi:10.1145/3314221.3322484.
  31. doi:10.1145/1863509.1863514.
  32. doi:10.1145/3486601.3486708.
  33. Available at https://gtabone.page.link/V9Hh.
  34. .
  35. Available at https://github.com/Qqwy/elixir-type_check.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org