Bibliography

The following documents are provided for informational purposes and are not normatively referenced by this document.

[1] The Rust Programming Language — rust-lang.org

[2] The Go Programming Language Specification — go.dev/ref/spec

[3] Koka: Programming with Row-polymorphic Effect Types — Daan Leijen, Microsoft Research

[4] The Lean 4 Reference Manual — leanprover.github.io

[5] Gleam Language Documentation — gleam.run

[6] Elm Language Guide — guide.elm-lang.org

[7] Roc Programming Language — roc-lang.org

[8] ISO/IEC Directives, Part 2 — Rules for the structure and drafting of International Standards