Searching for authors named "Martin Odersky" – sorted by Relevance.
-
A Syntactic Method for Proving Observational Equivalences
- Equivalences Martin Odersky Yale University, Department of Computer Science, Box 2158 Yale Station, New Haven
- Cited by 1 (0 self) – Add To MetaCart
-
How to Make Destructive Updates Less Destructive
- How to Make Destructive Updates Less Destructive Martin Odersky 18th ACM Symposium on Principles
- Cited by 8 (1 self) – Add To MetaCart
-
Programming With Functional Nets
- Programming With Functional Nets Martin Odersky Ecole Polytechnique Federale de Lausanne June 13
- Cited by 2 (1 self) – Add To MetaCart
-
Objects and Subtyping in a Functional Perspective
- Objects and Subtyping in a Functional Perspective Martin Odersky IBM Research, T.J. Watson Research
- Cited by 2 (1 self) – Add To MetaCart
-
Applying π: Towards a Basis for Concurrent Imperative Programming
- Applying : Towards a Basis for Concurrent Imperative Programming Martin Odersky Universitat
- Cited by 1 (0 self) – Add To MetaCart
-
A Functional Theory of Local Names
- AFunctional Theory of Local Names Martin Odersky Universitat Karlsruhe 76128 Karlsruhe, Germany
- Cited by 24 (2 self) – Add To MetaCart
-
Observers for Linear Types
- Observers for Linear Types Martin Odersky Yale University, Department of Computer Science, Box
- Cited by 18 (2 self) – Add To MetaCart
-
Functional Nets
- Functional Nets Martin Odersky Ecole Polytechnique Federale de Lausanne Abstract. Functional nets
- Cited by 29 (5 self) – Add To MetaCart
-
Programming with Variable Functions
- Programming with Variable Functions Martin Odersky University of South Australia odersky
- Cited by 7 (0 self) – Add To MetaCart
-
Objects + Views = Components?
- Objects + Views = Components? Martin Odersky Ecole Polytechnique Federale de Lausanne Abstract
- Cited by 5 (1 self) – Add To MetaCart

