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.
Regards Arnaud On Wed, Jun 22, 2011 at 8:38 AM, Stephen Tetley <stephen.tet...@gmail.com> wrote: > On 22 June 2011 05:30, Arnaud Bailly <arnaud.oq...@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 >> meaningful? > > You might find Don Batory (U. Texas) and his colleagues recent work > interesting [1], especially [2]. > > 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. > > [1] http://www.cs.utexas.edu/users/schwartz/search.cgi > [2] http://www.cs.utexas.edu/ftp/predator/BatoryMODELS08Keynote.pdf > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
