Specifications

• Core specification extensions: defines the formal semantics of the extensions to core WebAssembly introduced by typed continuations.
• Explainer document: an informal overview of the typed continuations proposal and its various extensions.
• Stack switching design documents: documents describing the design, goals and high-level overview of stack switching in WebAssembly.