Proposal for Typed Function References
This repository contains a proposal for typed function references in WebAssembly, along with the broader WebAssembly specification and reference implementation. The specification documents are built using Sphinx and Bikeshed, with outputs available in HTML, PDF, and single-page formats. The repository also includes a reference interpreter written in OCaml that can decode, parse, validate, and execute WebAssembly modules in both binary and text (S-expression) formats; it supports conversion between formats, script execution with assertions, and can be cross-compiled to JavaScript. The project is maintained by the WebAssembly community organization and serves as the official specification source.