💾 Archived View for dcreager.net › 2023 › 07 › 14-reading-log.gmi captured on 2024-06-16 at 12:24:39. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-07-22)
-=-=-=-=-=-=-
2023-07-14
Added [Ramsay2023], which presents “two-side type systems”, which guarantee “both that well-typed programs don't go wrong and that ill-typed programs do not evaluate”. 50 pages of appendix, oof.