On Wednesday 20 Jul 2005 4:05 am, Scherrer, Chad wrote:
> I'm using the (IntMap Int) type to implement functions (Int -> Int), by
> treating non-keys as values that map to zero. I'd like to be able to add
> two of these pointwise, and delete the key from the resulting map when
> the sum of the valu
--
We apologize if you receive multiple copies of this announcement.
--
==
Dear Colleague,
Please note that ICLP 2005 registration is now open. In fact, the
early registration deadline is not too far (July 31st). More details
can be found at the ICLP 2005 website:
http://www.iiia.csic.es/iclp2005/
Highlights include invited talks by Ian Horrocks, Peter Stuckey,
Frances