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 | 13264 reads
|
Browse archivesActive forum topics |
Recent comments
10 hours 5 min ago
20 hours 47 min ago
1 day 4 hours ago
1 day 5 hours ago
1 day 7 hours ago
1 day 8 hours ago
1 day 9 hours ago
1 day 9 hours ago
1 day 15 hours ago
1 day 18 hours ago