Higher-Order Contracts for JavaScript

External Document