Similar Items: Higher-Order Asynchronous Effects
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
- Higher Order Automatic Differentiation of Higher Order Functions
- Decidability of higher-order matching
- On Higher-Order Probabilistic Subrecursion
- Semantics of Higher-Order Recursion Schemes
- Efficient Full Higher-Order Unification