Martin Odersky
École Polytechnique Fédérale de Lausanne(CH)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Advanced Software Engineering Methodologies, Distributed systems and fault tolerance
Most-Cited Works
- An Overview of the Scala Programming Language(2004)
- → Making the future safe for the past(1998)501 cited
- → Scala Actors: Unifying thread-based and event-based programming(2008)345 cited
- → Lightweight modular staging(2010)275 cited
- → Scalable component abstractions(2005)250 cited
- → A call-by-need lambda calculus(1995)247 cited
- → Type inference with constrained types(1999)218 cited
- Programming in Scala(2008)