APLicative Programming with Naperian Functors
Abstract elided by the publisher.
Related papers
- Functors for Proofs and Programs ESOP 2004
- A Semantics for Higher-Order Functors ESOP 1994
- A Binary Decision Tree Abstract Domain Functor SAS 2015
- FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution) TACAS 2015
- Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code GPCE 2005
- Higher-Order Functors with Transparent Signatures POPL 1995
- Applicative Functors and Fully Transparent Higher-Order Modules POPL 1995
- Functors are Type Refinement Systems POPL 2015