2002 10:32:18 +1000
Message-ID: [EMAIL PROTECTED]
From: Peter Stuckey [EMAIL PROTECTED]
Apologies for Receiving Multiple Copies of this Message
- --
CALL FOR PARTICIPATION
ICLP'02
Eighteenth
--- Blind-Carbon-Copy
X-Mailer: exmh version 2.5 10/15/1999 with version: MH 6.8.4 #1[UCI]
To: pjs
Subject: ICLP02 FINAL CALL FOR PAPERS
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Mon, 11 Feb 2002 11:32:42 +1100
Message-ID: [EMAIL PROTECTED]
From: Peter Stuckey [EMAIL
--- Blind-Carbon-Copy
To: pjs
Subject:
Date: Mon, 21 Jan 2002 13:27:08 +1100
Message-ID: [EMAIL PROTECTED]
From: Peter Stuckey [EMAIL PROTECTED]
Apologies for Receiving Multiple Copies of this Message
- --
CALL
. For example, in type systems with
subtypes, the type checker needs to solve subtype constraints
as well as unification constraints.
I think you explained it very clearly. But the first person to
explain this correspondence to me was Peter Stuckey [EMAIL PROTECTED].
A few (about five
