Caradoc: A Pragmatic Approach to PDF Parsing and Validation
Ethos' Deeply Integrated Distributed Types