Details
Title
Odersky, Martin
Sciper ID
126003
Affiliated labs
LAMP
Publications
A Flow-Insensitive, Modular Effect System for Purity
Capabilities for External Uniqueness
Degrees of Separation: A Flexible Type System for Safe Concurrency
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction
Implementing Higher-Kinded Types in Dotty
Improving the Performance of Scala Collections with Miniboxing
On Lock-Free Work-stealing Iterators for Parallel Data Structures
Scala Macros, a Technical Report
Semantics-preserving inlining for metaprogramming
Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance
See complete list of publications (135)
Capabilities for External Uniqueness
Degrees of Separation: A Flexible Type System for Safe Concurrency
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction
Implementing Higher-Kinded Types in Dotty
Improving the Performance of Scala Collections with Miniboxing
On Lock-Free Work-stealing Iterators for Parallel Data Structures
Scala Macros, a Technical Report
Semantics-preserving inlining for metaprogramming
Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance
See complete list of publications (135)
Use for
EPFL, Martin Odersky
Link to search
All resources
Record appears in
Authorities > People