Composable type checking for JavaScript

Article about the Security module.

This article is still to be written. The earlier Composable typechecking in JavaScript covers the approach.