news.volyx.in

Counterexamples in Type Systems: programs that crash, segfault or explode (2021) (counterexamples.org)

234 points by nequo · 1179 days ago · 97 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.