Hacker News
- 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 are logical relations? https://www.williamjbowman.com/blog/2023/03/24/what-is-logical-relations/ 14 comments programminglanguages
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