On 11-06-22 12:30 AM, Arnaud Bailly 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?
A lot of Doug Smith's works. In short, an object is a module's
specification (implementation is a special case), a morphism is a
refinement, colimit is composition. Try these:
Composition by Colimit and Formal Software Development
2006
ftp://ftp.kestrel.edu/pub/papers/smith/goguen.pdf
in A Festschrift in Honor of Prof. Joseph Goguen
Designware: Software Development by Refinement
1999
ftp://ftp.kestrel.edu/pub/papers/smith/ctcs.pdf
invited paper in Proceedings of the Eighth International Conference on
Category Theory and Computer Science (CTCS'98)
Mechanizing the Development of Software
1999
ftp://ftp.kestrel.edu/pub/papers/smith/marktoberdorf.ps
in Marktoberdorf Summer School 1998
more at http://www.kestrel.edu/home/people/smith/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
