The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Odersky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler
    Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. [Citation Graph (2, 0)][DBLP]
    OOPSLA, 1998, pp:183-200 [Conf]
  2. Richard Helm, Kim Marriott, Martin Odersky
    Constraint-Based Query Optimization for Spatial Databases. [Citation Graph (2, 6)][DBLP]
    PODS, 1991, pp:181-191 [Conf]
  3. Martin Odersky, Philip Wadler
    Pizza into Java: Translating Theory into Practice. [Citation Graph (1, 0)][DBLP]
    POPL, 1997, pp:146-159 [Conf]
  4. Kim Marriott, Martin Odersky
    Negative Boolean Constraints. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:160, n:1&2, pp:365-380 [Journal]
  5. Martin Odersky
    An Introduction to Functional Nets. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:333-377 [Conf]
  6. Martin Odersky
    The Scala Experiment - Can We Provide Better Language Support for Component Systems? [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:364- [Conf]
  7. Martin Odersky
    Objects + Views = Components? [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:50-68 [Conf]
  8. Martin Odersky
    Programming with Functional Nets. [Citation Graph (0, 0)][DBLP]
    The School of Niklaus Wirth, 2000, pp:173-202 [Conf]
  9. Kim Marriott, Martin Odersky
    A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:310-327 [Conf]
  10. Vincent Cremet, Martin Odersky
    PiLib: A Hosted Language for Pi-Calculus Style Concurrency. [Citation Graph (0, 0)][DBLP]
    Domain-Specific Program Generation, 2003, pp:180-195 [Conf]
  11. Martin Odersky, Enno Runne, Philip Wadler
    Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 1998, pp:114-132 [Conf]
  12. Kim B. Bruce, Martin Odersky, Philip Wadler
    A Statically Safe Alternative to Virtual Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1998, pp:523-549 [Conf]
  13. Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
    A Nominal Theory of Objects with Dependent Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2003, pp:201-224 [Conf]
  14. Martin Odersky
    Functional Nets. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:1-25 [Conf]
  15. Martin Odersky
    Observers for Linear Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:390-407 [Conf]
  16. Martin Odersky, Philip Wadler, Martin Wehr
    A Second Look at Overloading. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:135-146 [Conf]
  17. Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky
    An Equational Theory for Transactions. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2003, pp:38-49 [Conf]
  18. Martin Odersky
    Polarized Name Passing. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:324-337 [Conf]
  19. Martin Odersky
    Programming with Variable Functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:105-116 [Conf]
  20. Matthias Zenger, Martin Odersky
    Extensible Algebraic Datatypes with Defaults. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:241-252 [Conf]
  21. Philipp Haller, Martin Odersky
    Event-Based Programming Without Inversion of Control. [Citation Graph (0, 0)][DBLP]
    JMLC, 2006, pp:4-22 [Conf]
  22. Kung Chen, Paul Hudak, Martin Odersky
    Parametric Type Classes. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:170-181 [Conf]
  23. Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
    A Core Calculus for Scala Type Checking. [Citation Graph (0, 0)][DBLP]
    MFCS, 2006, pp:1-23 [Conf]
  24. Martin Odersky, Matthias Zenger
    Scalable component abstractions. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:41-57 [Conf]
  25. Konstantin Läufer, Martin Odersky
    Type Classes are Signatures of Abstract Types. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:148-162 [Conf]
  26. Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler
    The Call-by-Need Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:233-246 [Conf]
  27. Martin Odersky
    The Scala experiment: can we provide better language support for component systems? [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:166-167 [Conf]
  28. Martin Odersky
    How to Make Destructive Updates Less Destructive. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:25-36 [Conf]
  29. Martin Odersky
    A Functional Theory of Local Names. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:48-59 [Conf]
  30. Martin Odersky, Konstantin Läufer
    Putting Type Annotations to Work. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:54-67 [Conf]
  31. Martin Odersky, Dan Rabin, Paul Hudak
    Call by Name, Assignment, and the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:43-56 [Conf]
  32. Martin Odersky, Christoph Zenger, Matthias Zenger
    Colored local type inference. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:41-53 [Conf]
  33. Kung Chen, Martin Odersky
    A Type System for a Lambda Calculus with Assignments. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:347-364 [Conf]
  34. Burak Emir, Sebastian Maneth, Martin Odersky
    Scalable Programming Abstractions for XML Services. [Citation Graph (0, 0)][DBLP]
    Research Results of the DICS Program, 2006, pp:103-126 [Conf]
  35. Martin Odersky
    Challenges in Type Systems Research. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:169- [Journal]
  36. John Maraist, Martin Odersky, David N. Turner, Philip Wadler
    Call-by-name, call-by-value, call-by-need and the linear lambda calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  37. Martin Odersky
    Einfache und effiziente inkrementelle Syntaxanalyse. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1987, v:2, n:2, pp:73-82 [Journal]
  38. Richard Helm, Kim Marriott, Martin Odersky
    Spatial Query Optimization: From Boolean Constraints to Range Queries. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1995, v:51, n:2, pp:197-210 [Journal]
  39. John Maraist, Martin Odersky, Philip Wadler
    The Call-by-Need Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:3, pp:275-317 [Journal]
  40. Ian A. Mason, Martin Odersky
    Special Issue on State in Programming Languages - Introduction. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:4, pp:291-292 [Journal]
  41. Martin Odersky
    Challenges in Type Systems Research. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:92-93 [Journal]
  42. Martin Odersky
    MINOS: A New Approach to the Design of an Input/Output Library for Modula-2. [Citation Graph (0, 0)][DBLP]
    Structured Programming, 1989, v:10, n:2, pp:89-105 [Journal]
  43. Martin Odersky, Martin Sulzmann, Martin Wehr
    Type Inference with Constrained Types. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1999, v:5, n:1, pp:35-55 [Journal]
  44. Kim Marriott, Martin Odersky
    A Confluent Calculus for Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:1, pp:209-233 [Journal]
  45. John Maraist, Martin Odersky, David N. Turner, Philip Wadler
    Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:175-210 [Journal]
  46. Michel Schinz, Martin Odersky
    Tail call elimination on the Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:1, pp:- [Journal]
  47. Konstantin Läufer, Martin Odersky
    Polymorphic Type Inference and Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1411-1430 [Journal]
  48. Martin Odersky
    Defining Context-Dependent Syntax Without Using Contexts. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:3, pp:535-562 [Journal]
  49. Martin Odersky, Benjamin C. Pierce
    Guest editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:5, pp:767-768 [Journal]
  50. Philipp Haller, Martin Odersky
    Actors That Unify Threads and Events. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:171-190 [Conf]
  51. Burak Emir, Martin Odersky, John Williams
    Matching Objects with Patterns. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:273-298 [Conf]

  52. Translation Correctness for First-Order Object-Oriented Pattern Matching. [Citation Graph (, )][DBLP]


  53. Capabilities for Uniqueness and Borrowing. [Citation Graph (, )][DBLP]


  54. Fighting bit Rot with Types (Experience Report: Scala Collections). [Citation Graph (, )][DBLP]


  55. Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. [Citation Graph (, )][DBLP]


  56. Scala Roles - A Lightweight Approach Towards Reusable Collaborations. [Citation Graph (, )][DBLP]


  57. Generics of a higher kind. [Citation Graph (, )][DBLP]


  58. Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002