tomprimozic/type-systems
Implementations of various type systems in OCaml.
113 best points · 27 comments · 4 Hacker News posts · 1,605 GitHub stars · View on GitHub
Hacker News discussions
- Implementations of various type systems in OCaml (113 points, 6 comments, by mercurial, 2014-08-13)
- Grow Your Own Type System (105 points, 8 comments, by wtetzner, 2015-11-28)
- Show HN: Simple refined types implementation that can prevent Heartbleed (56 points, 13 comments, by tomp, 2014-05-31)
- Show HN: Refined types – a better type system for more secure software (3 points, 0 comments, by tomp, 2014-05-29)