| | What's higher-order about so-called higher-order references? (williamjbowman.com) |
| 1 point by fanf2 51 days ago | past |
|
| | What's higher-order about so-called higher-order references? (williamjbowman.com) |
| 2 points by todsacerdoti 70 days ago | past |
|
| | A low-level look at A-normal form (williamjbowman.com) |
| 2 points by fanf2 9 months ago | past |
|
| | A Low-Level Look at A-Normal Form (williamjbowman.com) |
| 4 points by matt_d 11 months ago | past | 1 comment |
|
| | Indexed types for a statically safe WebAssembly [pdf] (williamjbowman.com) |
| 51 points by luu on Feb 28, 2024 | 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 |
|
