User loginNavigation |
Dead-end theoremsDefine dead-end theorems to be theorems that are not used to prove other results. What percentage of proofs in PLT papers are of dead-end theorems? For example, a type soundness result is not often used to prove more fundamental results. It is just a "house keeping" theorem. Does this percentage tell us anything important? By Ehud Lamm at 2008-06-02 06:01 | LtU Forum | previous forum topic | next forum topic | other blogs | 5240 reads
|
Browse archivesActive forum topics |
Recent comments
12 hours 28 min ago
2 weeks 8 hours ago
6 weeks 1 day ago
6 weeks 6 days ago
6 weeks 6 days ago
8 weeks 5 days ago
8 weeks 5 days ago
9 weeks 1 day ago
9 weeks 1 day ago
10 weeks 1 day ago