News for hackers. Stuff that matters.

A comment on A New Kind of Type System.

Re:A New Kind of Type System by richmok on Tuesday June 18, 2013 @07:26AM (#5898555)
Discussed here on Lambda the Ultimate (http://lambda-the-ultimate.org/node/4764)
[ Parent | on HN ]

There are no comments on this comment yet.