[TYPES/announce] "A New Paradigm for Component-based Development"

[Johan Georg Granström]

Dear Friends and Colleagues,

I would like to announce a new publication applying dependent type
theory to component based software engineering.

The reason for announcing it here is that it is published in an
unusual venue for this type of work (Journal of Software).

The paper has open access and is available from here:
http://ojs.academypublisher.com/index.php/jsw/article/view/jsw070511361148

PDF direct link:
http://ojs.academypublisher.com/index.php/jsw/article/download/jsw070511361148/4771

Best Regards,

- Johan Granström