💾 Archived View for dcreager.net › theory captured on 2024-12-17 at 09:33:16. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-09-29)

🚧 View Differences

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

Theory

Call By Push Value

E-graphs

Functional Machine Calculus

Gradual types

Partial evaluation