[Haskell-cafe] Category theory as a design tool
arnaud.oqube at gmail.com
Wed Jun 22 09:08:12 CEST 2011
Thanks Stephen, looks interesting and congruent with few a priori I
had in mind. I have already seen in prior life connections between
modeling, MOF and category theory.
On Wed, Jun 22, 2011 at 8:38 AM, Stephen Tetley
<stephen.tetley at gmail.com> wrote:
> On 22 June 2011 05:30, Arnaud Bailly <arnaud.oqube at gmail.com> wrote:
>> Are there works/thesis/books/articles/blogs that try to use Cat.
>> theory explicitly as a tool/language for designing software (not as an
>> underlying formalisation or semantics)? Is the question even
> You might find Don Batory (U. Texas) and his colleagues recent work
> interesting , especially .
> That said, this is state-of-the-art work and while it looks like it
> has had some very good results, whether its "meaningful" to an
> outsider (in the limited sense of applicable to current practice) is
> an open question.
>  http://www.cs.utexas.edu/users/schwartz/search.cgi
>  http://www.cs.utexas.edu/ftp/predator/BatoryMODELS08Keynote.pdf
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe