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

Daryoush Mehrtash 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