Odersky, Martin
- Scoped Capabilities for Polymorphic Effects
2022/07/07 by Odersky, Martin, Boruch-Gruszecki, Aleksander, Lee, Edward +2 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Formalizing Box Inference for Capture Calculus
2023/06/10 by Yichen Xu, Martin Odersky, Xu, Yichen +1 · 3 citations
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering Research
- Degrees of Separation: A Flexible Type System for Data Race Prevention
2023/08/14 by Yichen Xu, Xu, Yichen, Boruch-Gruszecki, Aleksander +1 · 1 citation
Computer Science · #Cloud Computing and Resource Management #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
2025/09/09 by Xu, Yichen, Bračevac, Oliver, Pham, Cao Nguyen +1 · 3 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Adaptive Recursive Query Optimization
2023/12/07 by Herlihy, Anna, Martres, Guillaume, Ailamaki, Anastasia +1 · 1 citation
#Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL)