research
∙
02/26/2022
Semantic Soundness for Language Interoperability
Programs are rarely implemented in a single language, and thus questions...
share
research
∙
03/03/2019
Oxide: The Essence of Rust
Rust is a major advancement in industrial programming languages due in l...
research
∙
06/07/2018
Rust Distilled: An Expressive Tower of Languages
Rust represents a major advancement in production programming languages ...
research
∙
11/13/2017
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too
Software developers compose systems from components written in many diff...
research
∙
11/10/2017
