Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/7UFON.html 2025-08-31T14:42:01Z 2025-07-30T01:47:55Z Typechecking is undecidable when 'type' is a type.
  • 2025‑07‑30 - Typechecking is undecidable when 'type' is a type.
  • https://dspace.mit.edu/handle/1721.1/149683
  • redirect https://dotat.at/:/7UFON
  • blurb https://dotat.at/:/7UFON.html
  • atom entry https://dotat.at/:/7UFON.atom
  • web.archive.org archive.today
    • ]]>