The following pages link to Martin Odersky (Q1004063):
Displaying 26 items.
- Scala actors: Unifying thread-based and event-based programming (Q1004064) (← links)
- (Q1100921) (redirect page) (← links)
- Einfache und effiziente inkrementelle Syntaxanalyse. (Simple and efficient incremental syntax analysis) (Q1100922) (← links)
- Negative Boolean constraints (Q1350538) (← links)
- A confluent calculus for concurrent constraint programming (Q1391935) (← links)
- Call-by-name, call-by-value, call-by-need and the linear lambda calculus (Q1575882) (← links)
- Spatial query optimization: From Boolean constraints to range queries (Q1900925) (← links)
- (Q2729049) (← links)
- (Q2753702) (← links)
- Fighting Bit Rot with Types (Experience Report: Scala Collections) (Q2920151) (← links)
- Optimizing data structures in high-level programs (Q2931835) (← links)
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (Q2936829) (← links)
- Polarized name passing (Q2956693) (← links)
- The Essence of Dependent Object Types (Q3188291) (← links)
- Translation Correctness for First-Order Object-Oriented Pattern Matching (Q3498433) (← links)
- (Q3995229) (← links)
- (Q4222771) (← links)
- The call-by-need lambda calculus (Q4236864) (← links)
- (Q4490735) (← links)
- (Q4813227) (← links)
- Extensible algebraic datatypes with defaults (Q5178013) (← links)
- Colored local type inference (Q5178872) (← links)
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191504) (← links)
- Programming with variable functions (Q5234261) (← links)
- Programming with variable functions (Q5348891) (← links)
- A Core Calculus for Scala Type Checking (Q5756695) (← links)