| | A low-level look at A-normal form (williamjbowman.com) |
|
2 points by fanf2 44 days ago | past
|
|
| | A Low-Level Look at A-Normal Form (williamjbowman.com) |
|
4 points by matt_d 3 months ago | past | 1 comment
|
|
| | Indexed types for a statically safe WebAssembly [pdf] (williamjbowman.com) |
|
51 points by luu 9 months ago | past | 4 comments
|
|
| | “What Is Syntax?” (williamjbowman.com) |
|
2 points by matt_d on June 7, 2023 | past
|
|
| | Macro-Embedding Compiler Intermediate Languages in Racket [pdf] (williamjbowman.com) |
|
26 points by matt_d on Sept 10, 2022 | past
|
|
| | The Syllabus (williamjbowman.com) |
|
1 point by azhenley on April 15, 2022 | past
|
|
| | Do compilers respect programmers? [pdf] (williamjbowman.com) |
|
3 points by azhenley on Aug 4, 2021 | past
|
|
| | Setting up WebDAV, CalDAV, and CardDAV servers (2015) (williamjbowman.com) |
|
1 point by maxwell on June 23, 2020 | past
|
|
| | Dependent Type Systems as Macros [pdf] (williamjbowman.com) |
|
95 points by luu on Jan 20, 2020 | past | 7 comments
|
|
| | Experimenting with Languages in Redex (williamjbowman.com) |
|
2 points by matt_d on Oct 6, 2019 | past
|
|
| | Untyped Programs Don’t Exist (williamjbowman.com) |
|
45 points by g0xA52A2A on Dec 6, 2018 | past | 97 comments
|
|
| | Untyped Programs Don’t Exist (williamjbowman.com) |
|
1 point by ingve on Jan 20, 2018 | past
|
|
| | Untyped Programs Don’t Exist (williamjbowman.com) |
|
3 points by matt_d on Jan 20, 2018 | past
|
|
| | What even is compiler correctness? (williamjbowman.com) |
|
2 points by fanf2 on Oct 7, 2017 | past
|
|
| | Fully Abstract Compilation via Universal Embedding [pdf] (williamjbowman.com) |
|
46 points by mpweiher on July 31, 2016 | past | 9 comments
|
|
| | Fully Abstract Compilation via Universal Embedding [pdf] (williamjbowman.com) |
|
24 points by ingve on July 27, 2016 | past
|
|
| | Auto-starting/stopping minecraft server using xinetd (williamjbowman.com) |
|
1 point by erjiang on June 12, 2014 | past
|
|
