Thread Tree View: comp.lang.misc
1 messages
Depth: 0
Build time: 45.198756msms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Re: Proving correctness of programs in functional languages
From: David Gudeman
Date: Tue, 14 May 1991 06:12
Article: 3960
Message-ID: <3154@optima.cs.arizona.edu>
Debug Information
Tree Statistics
- Root Article: 3960
- Message Count: 1
- Max Depth: 0
- Cache Hit: No
- Build Time: 45.198756ms
Thread Root
- Subject: Re: Proving correctness of programs in functional languages
- From: David Gudeman
- Date: Tue, 14 May 1991 06:12
- Article: 3960