Thread Tree View: comp.lang.misc
2 messages
Depth: 1
Cached
Build time: 1.02591msms
| 2 messages | Max depth: 1
Thread Tree
2 nodes
max depth: 1
1 leaves
Root Message
Proving correctness of programs in functional languages
From: Dave Gillett
Date: Mon, 13 May 1991 19:19
Article: 3824
Message-ID: <873@saxony.pa.reuter.COM>
Debug Information
Tree Statistics
- Root Article: 3824
- Message Count: 2
- Max Depth: 1
- Cache Hit: Yes
- Build Time: 1.02591ms
Thread Root
- Subject: Proving correctness of programs in functional languages
- From: Dave Gillett
- Date: Mon, 13 May 1991 19:19
- Article: 3824