Thread Tree View: fj.mail-lists.types
1 messages
Depth: 0
Build time: 530.089944msms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Type Inference using Sequent Calculus formulation of IPL
From: sanjiva
Date: Thu, 27 Aug 1992 15:53
Article: 24
Message-ID: <314446@nttlab.ntt.JP>
Debug Information
Tree Statistics
- Root Article: 24
- Message Count: 1
- Max Depth: 0
- Cache Hit: No
- Build Time: 530.089944ms
Thread Root
- Subject: Type Inference using Sequent Calculus formulation of IPL
- From: sanjiva
- Date: Thu, 27 Aug 1992 15:53
- Article: 24