Wasm SpecTec: Engineering a Formal Language Standard · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2311.07223/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTWasm SpecTec: Engineering a Formal Language Standard — HN submissionhttps://news.ycombinator.com/item?id=38393226urn:hackerpapers:submission:2311.07223:38393226Thu, 23 Nov 2023 14:41:31 GMT<p>WASM SpecTec: Engineering a Formal Language Standard</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2311.07223/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PLWasm SpecTec: Engineering a Formal Language Standard — HN submissionhttps://news.ycombinator.com/item?id=38316168urn:hackerpapers:submission:2311.07223:38316168Sat, 18 Nov 2023 06:28:13 GMT<p>Wasm SpecTec: Engineering a Formal Language Standard</p><p></p><p>3 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2311.07223/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL