ANEMIC: Automatic Interface Enabler for Model Integrated Computing
Abstract elided by the publisher.
Related papers
- Scallop: A Language for Neurosymbolic Programming PLDI 2023
- A Typed Programmatic Interface to Contracts on the Blockchain APLAS 2021
- Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers GPCE 2024
- Functional automatic differentiation with dirac impulses ICFP 2003
- Haskell⁻¹: automatic function inversion in Haskell Haskell 2021
- Notions of Stack-Manipulating Computation and Relative Monads OOPSLA 2025
- Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4 TACAS 2025
- The Basic Object System: Supporting a Spectrum From Prototypes To Hardened Code OOPSLA 1996