We've got lots of freedom and independence, but you are never on your own when you encounter problems.
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
Title | Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond |
Publication Type | Conference Proceedings |
Year of Publication | 2012 |
Authors | Diskin, Z., and T. Maibaum |
Conference Name | 7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012) |
Series Title | EPTCS |
Date Published | To appear |
URL | http://forthcoming.eptcs.org/ |
DOI | 10.4204/EPTCS |
Refereed Designation | Refereed |
Attachment | Size |
---|---|
Accat12-paper7.pdf | 617.24 KB |