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
--- 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 S
--- 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
ust a little further
> to thinking about it as constraint programming (rather than just
> logic programming) helps too. For example, in type systems with
> subtypes, the type checker needs to solve subtype constraints
> as well as unification constraints.
>
> I