Mark's Ramblings

on packages and programming languages

Blog Posts

How to solve Dependency Hell (22 June 2015)

Towards a Theory of Packages

Submitted a paper (DRAFT) with Alan Mycroft to APLAS 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 Application of Session Types

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: