Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/2MPY4.html 2025-09-27T14:42:01Z 2025-09-18T23:04:50Z Is sound gradual typing dead? Performance problems in Typed Racket.
  • 2025‑09‑18 - Is sound gradual typing dead? Performance problems in Typed Racket.
  • https://dl.acm.org/doi/abs/10.1145/2837614.2837630
  • redirect https://dotat.at/:/2MPY4
  • blurb https://dotat.at/:/2MPY4.html
  • atom entry https://dotat.at/:/2MPY4.atom
  • web.archive.org archive.today
    • ]]>