Similar Items: Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
- Nested Hoare Triples and Frame Rules for Higher-order Store
- Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
- Higher Order Automatic Differentiation of Higher Order Functions
- The Complexity of Model Checking Higher-Order Fixpoint Logic
- Using higher-order contracts to model session types
- Higher-Order Asynchronous Effects