Hi,
On Jun 15, 2011, at 7:46 AM, Brian Ledger wrote:
> Does Curry have a denotational semantics? I have seen various
> different implementations reliant upon step-semantics and graph-
> rewriting, but not any particular denotational semantics.
we have recently presented an approach to a denotational semantics for
Curry
http://www.iai.uni-bonn.de/~jv/IAI-TR-2011-1.pdf
Cheers,
Jan
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 15 2011 - 18:09:44 CEST