Blimey Contracts (with blame) for Rust Functions. Read Up Contracts for Higher-Order Functions Oh Lord, Please Don’t Let Contracts Be Misunderstood Contracts for First Class Classes Correct Blame for Contracts An Investigation of Contracts as Projections Chaperones and Impersonators: Run-time Support for Reasonable Interposition Racket Docs