I am trying to compile a list of courses recently taught on
the subject of Functional Logic Programming. I am aware of
the course taught at CAU Kiel by Michael Hanus and, obviosuly,
at PSU by myself. If you have any addition, I'll be glad to
receive it.
Thanks,
Sergio
--------------------------------
Sergio Antoy
Dept. of Computer Science
Portland State University
P.O.Box 751
Portland, OR 97207
voice +1 (503) 725-3009
fax +1 (503) 725-3211
email antoy_at_cs.pdx.edu
web
http://www.cs.pdx.edu/~antoy
--------------------------------
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
tent-Type:Content-Transfer-Encoding;
b=NoyebBpVatnWPwR3OhRD2+lmwLeteD6BZiutrzWKD4IL8DG2q7Td9uswDSZZDAJ1i
Gr+IHxvlYcIKw1JEj2Fv9mVJudw7tZyfNy0mll+2stdu6Vorw+VQlxSvIT1DGmP8sa
fCghqx2Wyh090fi/4OuSewqbseGx0HwZDSniXtCg=
Message-id: <4FE1F5CD.2070903_at_informatik.uni-kiel.de>
Date: Wed, 20 Jun 2012 18:09:49 +0200
From: Michael Hanus <mh_at_informatik.uni-kiel.de>
User-Agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.9.2.24)
Gecko/20111120 Icedove/3.1.16
To: curry_at_lists.RWTH-Aachen.DE
References:
<CALoEywP1YkZf8N6LWd7JJkUtk6Tqa7p2wyqH=nvpTNyMpmMuaA_at_mail.gmail.com>
<CC8A17AC-9D2B-4FD9-8E6C-83FABC9D9933_at_uni-muenster.de>
<CALoEywO0vJmcPJuCzWrGPUmqSCUmTCO8YU9RGHGgJuj6v0LeVQ_at_mail.gmail.com>
In-reply-to:
<CALoEywO0vJmcPJuCzWrGPUmqSCUmTCO8YU9RGHGgJuj6v0LeVQ_at_mail.gmail.com>
X-Enigmail-Version: 1.1.2
X-Null-Tag: 962388635b3f7e33a8d46ace026a6966
X-Null-Tag: bbf36883138784af3cff844c30ba58c8
X-Authenticated-Sender: user mh from 134.245.252.92
Subject: Re: equality of partial applications
X-BeenThere: curry_at_lists.RWTH-Aachen.DE
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Discussions on the programming language Curry
<curry.lists.RWTH-Aachen.DE>
List-Unsubscribe: <
http://MailMan.RWTH-Aachen.DE/mailman/options/curry>,
<mailto:curry-request_at_lists.RWTH-Aachen.DE?subject=unsubscribe>
List-Archive: <
http://MailMan.RWTH-Aachen.DE/pipermail/curry>
List-Post: <mailto:curry_at_lists.RWTH-Aachen.DE>
List-Help: <mailto:curry-request_at_lists.RWTH-Aachen.DE?subject=help>
List-Subscribe: <
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry>,
<mailto:curry-request_at_lists.RWTH-Aachen.DE?subject=subscribe>
Errors-to: curry-bounces_at_lists.RWTH-Aachen.DE
Sender: curry-bounces_at_lists.RWTH-Aachen.DE
On 06/18/2012 09:53 AM, Sebastian Fischer wrote:
> On Mon, Jun 18, 2012 at 9:30 AM, Wolfgang Lux <wlux_at_uni-muenster.de> wrote:
>> However, what you are expecting here is extensional equality, which is impossible to support in Curry.
>
> Not only in Curry, as it is in general undecidable..
Just a short remark to your interesting discussion.
I think that undecidability is not an argument against supporting
extensional equality. Unification modulo defined operations
is also undecidable but still supported in Curry...
Actually, some form of higher-order unification was originally
proposed for Curry but later abandoned due to its complexity.
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 20 2012 - 17:58:35 CEST