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 | 14073 reads
|
Browse archivesActive forum topics |
Recent comments
5 days 11 hours ago
1 week 3 days ago
1 week 4 days ago
1 week 4 days ago
2 weeks 2 days ago
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 5 days ago
4 weeks 19 hours ago
4 weeks 2 days ago