The following pages link to Alberto Pardo (Q1929356):
Displaying 11 items.
- Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
- Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types (Q2229149) (← links)
- (Q2765926) (← links)
- (Q3395336) (← links)
- On some fast well-balanced first order solvers for nonconservative systems (Q3584835) (← links)
- (Q4222952) (← links)
- (Q4816998) (← links)
- (Q5275352) (← links)
- Advanced Functional Programming (Q5394303) (← links)
- Multiple Intermediate Structure Deforestation by Shortcut Fusion (Q5410472) (← links)
- Well-Balanced High-Order MUSTA Schemes for Non-Conservative Hyperbolic Systems (Q5503097) (← links)
