💾 Archived View for dcreager.net › 2024 › 05 › 20-reading-log.gmi captured on 2024-08-25 at 00:23:34. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-05-26)

-=-=-=-=-=-=-

Reading log

2024-05-20

Added [Barrett2024], which describes the Relational Machine Calculus. It is a follow-on to their papers about the Functional Machine Calculus.

[Barrett2024] The Relational Machine Calculus