Hacker News new | ask | show | jobs
A Type System for Management (rescrv.net)
2 points by rescrv 65 days ago