Safe and Principled Language Interoperation
Abstract elided by the publisher.
Related papers
- RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly PLDI 2024
- An interoperable calculus for external object access ICFP 2002
- Partial type equivalences for verified dependent interoperability ICFP 2016
- From ML to Ada: Strongly-Typed Language Interoperability via Source Translation JFP 1998
- Foundations of dependent interoperability JFP 2018
- Semantic soundness for language interoperability PLDI 2022
- Context-Dependent Effects in Guarded Interaction Trees ESOP 2025
- Verified Extraction from Coq to OCaml PLDI 2024