Submitted a paper (DRAFT)
with Alan Mycroft to
on creating a more theoretical foundation for packages
based on interfaces. The technical appendix can be
found here: appendix.
An implementation for C and other languages is under way.
Presentation on applying session types for high-performance and reliable messaging systems. Think of fusing Google Protocol Buffers and ZeroMQ, with the guarantee of session fidelity and deadlock and race freedom.
Presentation on optimizing embedded DSLs using multi-stage programming with Template Haskell: