Functional Style in C++: Closures, Late Binding, and Lambda Abstractions
No abstract available.
Related papers
- Typed Object-Oriented Functional Programming with Late Binding ECOOP 1996
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs ESOP 2016
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus JFP 2019
- Efficient late binding of dynamic function compositions SLE 2019
- On the Unification of Data and Program Abstraction in Ada POPL 1983
- Lifetime Analysis of Dynamically Allocated Objects POPL 1988
- Verified Software Units ESOP 2021
- Continuation-Passing, Closure-Passing Style POPL 1989