The following pages link to (Q4218119):
Displaying 13 items.
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Exact real number computations relative to hereditarily total functionals. (Q1607298) (← links)
- The constructive reals as a Java library (Q1779561) (← links)
- Integration in Real PCF (Q1854356) (← links)
- An abstract data type for real numbers (Q1960529) (← links)
- First-Order Universality for Real Programs (Q3576032) (← links)
- Computability of Continuous Solutions of Higher-Type Equations (Q3576051) (← links)
- Lazy computation with exact real numbers (Q5234267) (← links)
- A Computational Interpretation of Forcing in Type Theory (Q5253929) (← links)
- Programming Languages and Systems (Q5316565) (← links)
- A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647) (← links)
- A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)
- Asymptotic speedup via effect handlers (Q6561531) (← links)