Hacker News new | ask | show | jobs
Verifying and testing timeliness constraints of Haskell programs (well-typed.com)
3 points by cosmic_quanta 204 days ago