Pages that link to "Item:Q3178288"
From MaRDI portal
The following pages link to A Simply Typed λ-Calculus of Forward Automatic Differentiation (Q3178288):
Displaying 6 items.
- Correctness of automatic differentiation via diffeologies and categorical gluing (Q2200831) (← links)
- A Hitchhiker's guide to automatic differentiation (Q2630759) (← links)
- Efficient Expression Templates for Operator Overloading-Based Automatic Differentiation (Q2913148) (← links)
- (Q3528772) (← links)
- Symbolic manipulation in an extended λ-calculus (Q3773328) (← links)
- (Q5094126) (← links)