Programme for affiliated event VMCAI
Programme for affiliated event PEPM
Programme for affiliated event PLPV
Update README.md - PADL papers

* preprint for Compiling DNA strand displacement reactions using a functional programming language
* preprint for The F# Computation Expressions Zoo
* preprint for Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces
* preprint for Deriving Interpretations of the Gradually-Typed Lambda Calculus
Merge pull request #18 from bens/master

Programmes for announced affiliated events.