| user: | gadmm |
| created: | February 27, 2019 |
| karma: | 42 |
| about: | https://guillaume.munch.name/ |
| 1. | Safety in an Unsafe World(lwn.net) |
| 2. | Memory Management with Stephen Dolan (OCaml)(signalsandthreads.com) |
| 3. | |
| 4. | A program for the full axiom of choice(lmcs.episciences.org) |
| 5. | Featherweight Go (A generics design for Go)(arxiv.org) |