Live data from Hacker News

A New Kind of Type System

mcdirmid.github.io

Post reply on HN

Print view View original

1–2 of 2 posts

A New Kind of Type System

#1

Post by richmok » Tue, Jun 18, 2013, 11:23 AM UTC

A New Kind of Type System
mcdirmid.github.io

Re: A New Kind of Type System

#2

Post by richmok » Tue, Jun 18, 2013, 11:26 AM UTC

Discussed here on Lambda the Ultimate (http://lambda-the-ultimate.org/node/4764)

Post reply on HN