- Negative Boolean Constraints \Lambda Kim Marriott
- Yale University Department of Computer Science
- A CallByNeed Lambda Calculus Zena M. Ariola
- Two Ways to Bake Your Pizza --Translating Parameterised Types into Java
- Applying : Towards a Basis for Concurrent Imperative Programming
- A Core Calculus for Scala Type Checking Vincent Cremet1
- Putting Type Annotations to Work Martin Odersky
- A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice
- Nested Types Martin Odersky and Christoph Zenger
- Observers for Linear Types Martin Odersky \Lambda
- Type Inference with Constrained Types Martin Odersky
- The Scala Experiment Can We Provide Better Language Support for Component Systems?
- Type Inference with Constrained Types Martin Sulzmann \Lambda
- A statically safe alternative to virtual types Kim B. Bruce \Lambda
- Scalable Component Abstractions Martin Odersky
- A Nominal Theory of Objects with Dependent Types
- Parametric Type Classes (Extended Abstract)
- Programming with Variable Functions Martin Odersky
- Functional Nets Martin Odersky
- A Second Look at Overloading In Proc. FPCA'95 Conf. on Functional Programming Languages and Computer Architecture
- Inferred Type Instantiation for GJ Martin Odersky
- ConstraintBased Query Optimization for Spatial Databases
- A Nominal Theory of Objects with Dependent Types Martin Odersky, Vincent Cremet, Christine Rockl, Matthias Zenger
- An Extension of ML with FirstClass Abstract Types In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, San Francisco, June 1992
- Making the future safe for the past: Adding Genericity to the Java TM Programming Language
- A Nominal Theory of Objects with Dependent Types Martin Odersky, Vincent Cremet, Christine Rockl, Matthias Zenger
- Colored Local Type Inference Martin Odersky Christoph Zenger Matthias Zenger
- Scalable Component Abstractions Martin Odersky
- A Nominal Theory of Objects with Dependent Types Martin Odersky, Vincent Cremet, Christine R"ockl, Matthias Zeng*
- A Type System for a Lambda Calculus with Assignments
- Yale University Department of Computer Science
- A Nominal Theory of Objects with Dependent Types
- LIPIcs Leibniz International Proceedings in Informatics Fighting Bit Rot with Types
- A Functional Theory of Local Names Martin Odersky
- Functional Nets Martin Odersky
- Colored Local Type Inference Martin Odersky Christoph Zenger Matthias Zenger
- Yale University Department of Computer Science
- Polarized Name Passing Martin Odersky
- Yale University Department of Computer Science
- How to Make Destructive Updates Less Destructive Martin Odersky *
- Inferred Type Instantiation for GJ Martin Odersky
- Electronic Notes in Theoretical Computer Science 59 No. 1 (2001) URL: http://www.elsevier.nl/locate/entcs/volume59.html LastPage pages
- Objects and Subtyping in a Functional Perspective Martin Odersky
- Challenges in Type Systems Research Martin Odersky
- Objects + Views = Components? Martin Odersky
- Event-Based Programming without Inversion of Philipp Haller, Martin Odersky
- Electronic Notes in Theoretical Computer Science 59 No. 1 (2001) URL: http://www.elsevier.nl/locate/entcs/volume59.html LastPage pages
- Type Inference for Parametric Type Classes Kung Chen, Martin Odersky, Paul Hudak
- A Nominal Theory of Objects with Dependent Types
- Objects + Views = Components? Martin Odersky
- Functional Nets Martin Odersky
- Pizza into Java: Translating theory into practice
