Thread Tree View: comp.specification
1 messages
Depth: 0
Cached
Build time: 831.939µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Summer School: TYPES FOR PROOFS AND PROGRAMS
From: Lennart Augustsson
Date: Thu, 21 Jan 1993 15:53
Article: 487
Message-ID: <1993Jan21.155346.19643@cs.chalmers.se>
Debug Information
Tree Statistics
- Root Article: 487
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 831.939µs
Thread Root
- Subject: Summer School: TYPES FOR PROOFS AND PROGRAMS
- From: Lennart Augustsson
- Date: Thu, 21 Jan 1993 15:53
- Article: 487