A Semantics for Higher-Order Functors
Abstract elided by the publisher.
Related papers
- Higher-Order Functors with Transparent Signatures POPL 1995
- Principal Signatures for Higher-Order Program Modules JFP 1994
- Transparent Modules with Fully Syntactic Signatures ICFP 1999
- Applicative Functors and Fully Transparent Higher-Order Modules POPL 1995
- F-ing modules JFP 2014
- Foundations for structured programming with GADTs POPL 2008
- Bindings as bounded natural functors POPL 2019
- Consistency of the theory of contexts JFP 2006