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

Johan Georg Granström georg.granstrom at gmail.com
Tue May 29 07:11:33 EDT 2012

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:

PDF direct link:

Best Regards,

- Johan Granström

More information about the Types-announce mailing list