courses on FLP

From: Sergio Antoy <antoy_at_cs.pdx.edu>
Date: Mon, 12 Nov 2012 08:53:03 -0800

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

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:12 CEST