Similar Items: Positive Supercompilation for a Higher-Order Call-By-Value Language
- Galois connecting call-by-value and call-by-name
- Higher Order Automatic Differentiation of Higher Order Functions
- Modular coinduction up-to for higher-order languages via first-order transition systems
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Probabilistic call by push value
- Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types