Hacker News
- Indexed types for a statically safe WebAssembly [pdf] https://williamjbowman.com/resources/geller2023-wasm-prechk-current-preprint.pdf 4 comments
- Dependent Type Systems as Macros [pdf] https://www.williamjbowman.com/resources/wjb2019-depmacros.pdf 7 comments
- Untyped Programs Don’t Exist https://www.williamjbowman.com/blog/2018/01/19/untyped-programs-don-t-exist/ 97 comments
- Fully Abstract Compilation via Universal Embedding [pdf] https://www.williamjbowman.com/resources/fabcc-paper.pdf 9 comments
Lobsters
- Untyped Programs Don't Exist https://www.williamjbowman.com/blog/2018/01/19/untyped-programs-don-t-exist/ 25 comments plt
- "What is syntax?" https://williamjbowman.com/blog/2023/06/07/what-is-syntax/ 18 comments programminglanguages
- What are logical relations? https://www.williamjbowman.com/blog/2023/03/24/what-is-logical-relations/ 14 comments programminglanguages
- What is realizability? https://williamjbowman.com/blog/2022/10/05/what-is-realizability/ 3 comments programminglanguages
- Macro-embedding Compiler Intermediate Languages in Racket https://williamjbowman.com/resources/wjb2022-hashlang-x64.pdf 2 comments compilers
- The A [in ANF] Means A https://williamjbowman.com/blog/2022/06/30/the-a-means-a/ 3 comments compilers
Lambda the Ultimate
- Fully Abstract Compilation via Universal Embedding https://www.williamjbowman.com/resources/fabcc-paper.pdf 5 comments Lambda Calculus , Semantics , Theory , Type Theory