Re: referential transparency, definiteness, and unfoldability

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Thu, 15 Jul 2010 12:03:37 +0200

On Jul 15, 2010, at 11:50 AM, bbr_at_informatik.uni-kiel.de wrote:

> Funny, though that there are no references in the definition of
> "Referential Transparency".
>
> I always thought that this property was called "Compositionality"
> rather.

The described notion of "referential transparency" is based on Quine
(reference [14] in the paper) as described at the beginning of Section
4.

-- 
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry

Received on Do Jul 15 2010 - 12:22:41 CEST