This page temporarily redirects to gemini://dcreager.net/theory/.

Theory

=> Call By Push Value | Continuation passing style | E-graphs | Functional Machine Calculus | Linear logic | Gradual types | Partial evaluation

Proxy Information
Original URL
gemini://dcreager.net/theory
Status Code
Success (20)
Meta
text/gemini;lang=en
Capsule Response Time
1025.403193 milliseconds
Gemini-to-HTML Time
0.48291 milliseconds

This content has been proxied by September (3851b).