Publications ›

CT for BX: Category Theory Foundations for Bidirectional Model Transformations

TitleCT for BX: Category Theory Foundations for Bidirectional Model Transformations
Publication TypeConference Proceedings
Year of Publication2012
AuthorsDiskin, Z.
Conference NameApplied and Computational Category Theory
Series TitleACCAT
PublisherPre-proceedings
Conference LocationTallinn, Estonia
Refereed DesignationDoes Not Apply
AttachmentSize
zAccat12.pdf106.62 KB

Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.

Thiago Tonelli Bartolomei

Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.

Alexandr Murashkin