Hacker News new | ask | show | jobs
Ensuring correctness through the type system (lindbakk.com)
2 points by kamilap 104 days ago