Hacker GitHub

← All repos

tomprimozic/type-systems

View on GitHub ↗ ★ 1,605 OCaml

Implementations of various type systems in OCaml.

19 mentions on Hacker News by 10 people: 4 stories, 15 comments · first 2014-04-04 · latest 2019-05-04

Mentions per year 19 mentions · busiest year 2014 (12)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 105
    Grow Your Own Type System
    story by wtetzner · 2015-11-28 · 8 comments
  2. ▲ 113
    Implementations of various type systems in OCaml
    story by mercurial · 2014-08-13 · 6 comments
  3. ▲ 56
    Show HN: Simple refined types implementation that can prevent Heartbleed
    story by tomp · 2014-05-31 · 13 comments
  4. ▲ 3
    Show HN: Refined types – a better type system for more secure software
    story by tomp · 2014-05-29 · 0 comments