CALL FOR WORKSHOP PROPOSALS
PRINCIPLES, LOGICS, AND IMPLEMENTATIONS
OF HIGH-LEVEL PROGRAMMING LANGUAGES (PLI 2000)
Montreal, Canada, September 18-23, 2000
http://www.cs.yorku.ca/pli-00
Submiss
>> I understood (apparently correctly) that Brett *knows* the inverse of
>> functions he is interested in.
Exactly.
>> The problem is that in Haskell it is not possible to distinguish
>> between functions, they do not belong to the Eq class
Yes, I believe this is the heart of the problem. A
Brett A. Letner precises his wishes concerning the inverse function.
Somebody objected :
> >> that is not possible in the general case.
> >> Not to forget that even if it was, not all functions has inverses.
I understood (apparently correctly) that Brett *knows* the inverse of
functions he is i
