Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

Interesting site that can adapt its presentation of a dense subject depending on the audience.

A proposal for the next generation of portable documents.