A schema language / type system / validation framework, for semi-structured data and for data in dynamic languages
None
Matthew Willson