[Haskell-cafe] Re: Semantic Domain, Function, and denotational model.....

[Jean-Philippe Bernardy]

Daryoush Mehrtash <dmehrtash <at> gmail.com> writes:

> 
> I have been told that for a Haskell/Functional programmer the process
> of design starts with defining Semantic Domain, Function, and
> denotational model of the problem.  I have done some googling on the
> topic but haven't found a good reference on it.    I would appreciate
> any good references on the topic.

http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/lectures.html

The whole course is interesting but lectures 2&3 are more specifically about
your concern.

-- JP