A New Kind of Type System(mcdirmid.github.io)
mcdirmid.github.io
A New Kind of Type System
http://mcdirmid.github.io/2013/06/14/a-new-kind-of-type-system/
1 comments
Discussed here on Lambda the Ultimate (http://lambda-the-ultimate.org/node/4764)
http://mcdirmid.github.io/2013/06/14/a-new-kind-of-type-system/