feat: add arXiv-ready LaTeX paper (P2)

- Convert WHITEPAPER.md to ACM sigplan format (acmart)
- All 11 sections with proper LaTeX formatting
- Formal definitions (Definition 1-3), Conjecture 1 using amsthm
- Idris2/twasm code blocks via listings
- BibTeX bibliography (15 references)
- Ready for arXiv submission (cs.PL or cs.SE)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

docs/arxiv/typed-wasm.bib

@@ -0,0 +1,155 @@
+% SPDX-License-Identifier: PMPL-1.0-or-later
+% Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+%
+% Bibliography for typed-wasm whitepaper
+
+@inproceedings{atkey2018,
+  author    = {Robert Atkey},
+  title     = {Syntax and Semantics of Quantitative Type Theory},
+  booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
+  year      = {2018},
+  publisher = {ACM},
+  doi       = {10.1145/3209108.3209189},
+}
+
+@article{barendsen1996,
+  author    = {Erik Barendsen and Sjaak Smetsers},
+  title     = {Uniqueness Typing for Functional Languages with Graph Rewriting Semantics},
+  journal   = {Mathematical Structures in Computer Science},
+  volume    = {6},
+  number    = {6},
+  pages     = {579--612},
+  year      = {1996},
+  doi       = {10.1017/S0960129500001122},
+}
+
+@inproceedings{brady2021,
+  author    = {Edwin Brady},
+  title     = {Idris 2: Quantitative Type Theory in Practice},
+  booktitle = {Proceedings of the 35th European Conference on Object-Oriented Programming (ECOOP)},
+  year      = {2021},
+  series    = {LIPIcs},
+  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
+  doi       = {10.4230/LIPIcs.ECOOP.2021.9},
+}
+
+@inproceedings{disselkoen2022,
+  author    = {Craig Disselkoen and John Renner and Conrad Watt and Tal Garber and Sunjay Cauligi and Deian Stefan},
+  title     = {{MSWasm}: Soundly Enforcing Memory-Safe Execution of Unsafe Code},
+  booktitle = {Proceedings of the 2022 IEEE Symposium on Security and Privacy (SP)},
+  year      = {2022},
+  publisher = {IEEE},
+  doi       = {10.1109/SP46214.2022.9833601},
+}
+
+@inproceedings{elliott2018,
+  author    = {Archibald Samuel Elliott and Andrew Ruef and Michael Hicks and David Tarditi},
+  title     = {Checked {C}: Making {C} Safe by Extension},
+  booktitle = {Proceedings of the IEEE Cybersecurity Development Conference (SecDev)},
+  year      = {2018},
+  publisher = {IEEE},
+  doi       = {10.1109/SecDev.2018.00015},
+}
+
+@inproceedings{haas2017,
+  author    = {Andreas Haas and Andreas Rossberg and Derek L. Schuff and Ben L. Titzer and Michael Holman and Dan Gohman and Luke Wagner and Alon Zakai and J. F. Bastien},
+  title     = {Bringing the Web up to Speed with {WebAssembly}},
+  booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
+  year      = {2017},
+  publisher = {ACM},
+  doi       = {10.1145/3062341.3062363},
+}
+
+@techreport{jewell2026,
+  author      = {Jonathan D.A. Jewell},
+  title       = {{TypedQL}: A 10-Level Type Safety Framework for Database Query Languages},
+  institution = {hyperpolymath},
+  year        = {2026},
+  type        = {Technical Report},
+}
+
+@article{jung2018,
+  author    = {Ralf Jung and Jacques-Henri Jourdan and Robbert Krebbers and Derek Dreyer},
+  title     = {{RustBelt}: Securing the Foundations of the {Rust} Programming Language},
+  journal   = {Proceedings of the ACM on Programming Languages},
+  volume    = {2},
+  number    = {POPL},
+  articleno = {66},
+  year      = {2018},
+  publisher = {ACM},
+  doi       = {10.1145/3158154},
+}
+
+@incollection{mcbride2016,
+  author    = {Conor McBride},
+  title     = {I Got Plenty o' Nuttin'},
+  booktitle = {A List of Successes That Can Change the World},
+  series    = {Lecture Notes in Computer Science},
+  volume    = {9600},
+  pages     = {207--233},
+  year      = {2016},
+  publisher = {Springer},
+  doi       = {10.1007/978-3-319-30936-1_12},
+}
+
+@article{morrisett1999,
+  author    = {Greg Morrisett and David Walker and Karl Crary and Neal Glew},
+  title     = {From {System F} to Typed Assembly Language},
+  journal   = {ACM Transactions on Programming Languages and Systems},
+  volume    = {21},
+  number    = {3},
+  pages     = {527--568},
+  year      = {1999},
+  publisher = {ACM},
+  doi       = {10.1145/319301.319345},
+}
+
+@inproceedings{wadler1990,
+  author    = {Philip Wadler},
+  title     = {Linear Types Can Change the World!},
+  booktitle = {Programming Concepts and Methods},
+  year      = {1990},
+  publisher = {North-Holland},
+}
+
+@inproceedings{watt2018,
+  author    = {Conrad Watt},
+  title     = {Mechanising and Verifying the {WebAssembly} Specification},
+  booktitle = {Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)},
+  year      = {2018},
+  publisher = {ACM},
+  doi       = {10.1145/3167082},
+}
+
+@misc{wasmgc2024,
+  author       = {{WebAssembly Community Group}},
+  title        = {{GC} Proposal},
+  year         = {2024},
+  howpublished = {\url{https://github.com/WebAssembly/gc}},
+  note         = {Accessed: 2026},
+}
+
+@misc{wasmcomponent2024,
+  author       = {{WebAssembly Community Group}},
+  title        = {Component Model},
+  year         = {2024},
+  howpublished = {\url{https://github.com/WebAssembly/component-model}},
+  note         = {Accessed: 2026},
+}
+
+@misc{wasmspec2024,
+  author       = {{WebAssembly Community Group}},
+  title        = {{WebAssembly} Specification},
+  year         = {2024},
+  howpublished = {\url{https://webassembly.github.io/spec/}},
+  note         = {Accessed: 2026},
+}
+
+@inproceedings{wurthinger2017,
+  author    = {Thomas W{\"u}rthinger and Christian Wimmer and Christian Humer and Andreas W{\"o}{\ss} and Lukas Stadler and Chris Seaton and Gilles Duboscq and Doug Simon and Matthias Grimmer},
+  title     = {Practical Partial Evaluation for High-Performance Dynamic Language Runtimes},
+  booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
+  year      = {2017},
+  publisher = {ACM},
+  doi       = {10.1145/3062341.3062381},
+}