User loginNavigation |
A New Kind of Type SystemI've been working on this note to describe the type system I've been working on that collects many of the ideas I've been working on (see here, here and here, and here). Now that I actually have something fairly complete, feedback would be appreciated. I'm currently implementing this in my live programming work and it will hopefully be in my next prototype, though the ideas are relatively unrelated so far. Abstract:
Again, the note is hosted here on GitHub. By Sean McDirmid at 2013-06-16 02:15 | LtU Forum | previous forum topic | next forum topic | other blogs | 10688 reads
|
Browse archives
Active forum topics |
Recent comments
17 weeks 13 hours ago
17 weeks 13 hours ago
17 weeks 13 hours ago
23 weeks 1 day ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago