User loginNavigation |
Universal Type SystemHi Folks I was just having a discussion with a friend and this question might not seem logical but - just like any code structure can be represented by closures and any control flow can be modelled by continuations, is there any type system in which all type systems can be represented ? Does this concept even make sense ? By Akhilesh Mritunjai at 2007-11-06 16:32 | LtU Forum | previous forum topic | next forum topic | other blogs | 14597 reads
|
Browse archives
Active forum topics |
Recent comments
33 weeks 3 hours ago
33 weeks 6 hours ago
33 weeks 7 hours ago
1 year 3 weeks ago
1 year 7 weeks ago
1 year 8 weeks ago
1 year 8 weeks ago
1 year 11 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago