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

Jean-Philippe Bernardy jeanphilippe.bernardy at gmail.com
Sun Sep 14 14:41:33 EDT 2008


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





More information about the Haskell-Cafe mailing list