Foreign inline code: systems demonstration
Abstract
No abstract available.
Related papers
- Overcoming restraint: composing verification of foreign functions with cogent CPP 2022
- A Verified Foreign Function Interface between Coq and C POPL 2025
- Checking type safety of foreign function calls PLDI 2005
- Foreign language interfaces by code migration GPCE 2019
- Optimizing Direct-threaded Code by Selective Inlining PLDI 1998
- Checking type safety of foreign function calls TOPLAS 2008
- Hidden inheritance: an inline caching design for TypeScript performance OOPSLA 2020
- H/Direct: A Binary Foreign Language Interface for Haskell ICFP 1998