Generating Smart Wrapper Libraries for Arbitrary APIs
Abstract elided by the publisher.
Related papers
- Fluent APIs in Functional Languages OOPSLA 2023
- Express: applications of dynamically typed Haskell expressions Haskell 2021
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures POPL 2019
- Generic Wrappers ECOOP 2000
- Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications APLAS 2017
- Generating a fluent API with syntax checking from an LR grammar OOPSLA 2019
- Random Variate Generation with Formal Guarantees PLDI 2025
- A session type provider: compile-time API generation of distributed protocols with refinements in F# CC 2018