Semantic Type Soundness and Language InteroperabilityNotes by Amal Ahmed (OPLSS)pl#semantic_typing#mutable-refs#amal-ahmed#research#oplss·cs.uoregon.edu·Sep 23, 2024Semantic Type Soundness and Language Interoperability