💾 Archived View for dcreager.net › 2024 › 05 › 20-reading-log.gmi captured on 2024-12-17 at 09:29:40. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-05-26)
-=-=-=-=-=-=-
2024-05-20
Added [Barrett2024], which describes the Relational Machine Calculus. It is a follow-on to their papers about the Functional Machine Calculus.