Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Odersky" ( http://dblp.L3S.de/Authors/Martin_Odersky )

URL (Homepage):  http://lamp.epfl.ch/~odersky/  Author page on DBLP  Author page in RDF  Community of Martin Odersky in ASPL-2

Publication years (Num. hits)
1987-1995 (20) 1996-2000 (19) 2001-2006 (15) 2007-2010 (15) 2011-2012 (9)
Publication types (Num. hits)
article(18) inproceedings(55) proceedings(5)
Venues (Conferences, Journals, ...)
POPL(8) ECOOP(5) OOPSLA(5) ICFP(4) Theor. Comput. Sci.(4) ACM Trans. Program. Lang. Syst...(3) FSTTCS(3) Abstract State Machines(2) APLAS(2) CC(2) Domain-Specific Program Genera...(2) Electr. Notes Theor. Comput. S...(2) ESOP(2) PEPM(2) ACM Comput. Surv.(1) APPSEM(1) More (+10 of total 46)
Authors
Martin Odersky(78) Philip Wadler(10) Tiark Rompf(10) Arvind K. Sujeeth(6) Hassan Chafi(6) Adriaan Moors(5) Kim Marriott(5) Kunle Olukotun(5) Philipp Haller(5) HyoukJoong Lee(4) John Maraist(4) Kevin J. Brown(4) Matthias Zenger(4) Vincent Cremet(4) Burak Emir(3) Konstantin Läufer(3) More (+10 of total 62)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 13 keywords
Results
Found 78 publication records. Showing 78 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky Scala-virtualized. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky StagedSAC: a case study in performance-oriented DSL development. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky Concurrent tries with efficient non-blocking snapshots. Search on Bibsonomy PPOPP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Hassan Chafi, Tiark Rompf, Martin Odersky, Kunle Olukotun Implementing Domain-Specific Languages for Heterogeneous Parallel Computing. Search on Bibsonomy IEEE Micro The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun Building-Blocks for Performance Oriented DSLs Search on Bibsonomy DSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky A Generic Parallel Collection Framework. Search on Bibsonomy Euro-Par The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kevin J. Brown, Arvind K. Sujeeth, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun A Heterogeneous Parallel Framework for Domain-Specific Languages. Search on Bibsonomy PACT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Odersky Future-Proofing Collections: From Mutable to Persistent to Parallel. Search on Bibsonomy CC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand R. Atreya, Martin Odersky, Kunle Olukotun OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning. Search on Bibsonomy ICML The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Odersky Contracts for Scala. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lukas Rytz, Martin Odersky Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF default arguments, named arguments, scala
1Tiark Rompf, Martin Odersky Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky Type classes as objects and implicits. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun Language virtualization for heterogeneous parallel computing. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Philipp Haller, Martin Odersky Capabilities for Uniqueness and Borrowing. Search on Bibsonomy ECOOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Philipp Haller, Martin Odersky Scala Actors: Unifying thread-based and event-based programming. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tiark Rompf, Ingo Maier, Martin Odersky Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF control effects, selective CPS transform, program transformation, delimited continuations
1Martin Odersky, Adriaan Moors Fighting bit Rot with Types (Experience Report: Scala Collections). Search on Bibsonomy FSTTCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Pradel, Martin Odersky Scala Roles - A Lightweight Approach Towards Reusable Collaborations. Search on Bibsonomy ICSOFT (PL/DPS/KE) The full citation details ... 2008 DBLP  BibTeX  RDF
1Adriaan Moors, Frank Piessens, Martin Odersky Generics of a higher kind. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF higher-kinded types, higher-order genericity, type constructor polymorphism, Scala
1Philipp Haller, Martin Odersky Actors That Unify Threads and Events. Search on Bibsonomy COORDINATION The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Shriram Krishnamurthi, Martin Odersky (eds.) Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings Search on Bibsonomy CC The full citation details ... 2007 DBLP  BibTeX  RDF
1Burak Emir, Qin Ma 0002, Martin Odersky Translation Correctness for First-Order Object-Oriented Pattern Matching. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Burak Emir, Martin Odersky, John Williams Matching Objects with Patterns. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Burak Emir, Sebastian Maneth, Martin Odersky Scalable Programming Abstractions for XML Services. Search on Bibsonomy Research Results of the DICS Program The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky A Core Calculus for Scala Type Checking. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin Odersky The Scala experiment: can we provide better language support for component systems? Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Philipp Haller, Martin Odersky Event-Based Programming Without Inversion of Control. Search on Bibsonomy JMLC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin Odersky, Matthias Zenger Scalable component abstractions. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF components, classes, mixins, abstract types, Scala
1Martin Odersky, Benjamin C. Pierce Guest editorial. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky (eds.) Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers Search on Bibsonomy Domain-Specific Program Generation The full citation details ... 2004 DBLP  BibTeX  RDF
1Martin Odersky The Scala Experiment - Can We Provide Better Language Support for Component Systems? Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Martin Odersky (eds.) ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings Search on Bibsonomy ECOOP The full citation details ... 2004 DBLP  BibTeX  RDF
1Vincent Cremet, Martin Odersky PiLib: A Hosted Language for Pi-Calculus Style Concurrency. Search on Bibsonomy Domain-Specific Program Generation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger A Nominal Theory of Objects with Dependent Types. Search on Bibsonomy ECOOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky An Equational Theory for Transactions. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michel Schinz, Martin Odersky Tail call elimination on the Java Virtual Machine. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Martin Odersky, Christoph Zenger, Matthias Zenger Colored local type inference. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Zenger, Martin Odersky Extensible Algebraic Datatypes with Defaults. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Martin Odersky, Philip Wadler (eds.) Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  BibTeX  RDF
1Martin Odersky Programming with Functional Nets. Search on Bibsonomy The School of Niklaus Wirth The full citation details ... 2000 DBLP  BibTeX  RDF
1Martin Odersky Functional Nets. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.) Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  BibTeX  RDF
1Martin Odersky Objects + Views = Components? Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Martin Odersky An Introduction to Functional Nets. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1John Maraist, Martin Odersky, David N. Turner, Philip Wadler Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Martin Odersky, Martin Sulzmann, Martin Wehr Type Inference with Constrained Types. Search on Bibsonomy TAPOS The full citation details ... 1999 DBLP  BibTeX  RDF
1John Maraist, Martin Odersky, Philip Wadler The Call-by-Need Lambda Calculus. Search on Bibsonomy J. Funct. Program. The full citation details ... 1998 DBLP  BibTeX  RDF
1Martin Odersky, Enno Runne, Philip Wadler Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  BibTeX  RDF
1Martin Odersky Programming with Variable Functions. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Java
1Kim B. Bruce, Martin Odersky, Philip Wadler A Statically Safe Alternative to Virtual Types. Search on Bibsonomy ECOOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF virtual types, static type checking, Language design, parametric polymorphism
1Kim Marriott, Martin Odersky A Confluent Calculus for Concurrent Constraint Programming. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin Odersky Challenges in Type Systems Research. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin Odersky, Philip Wadler Pizza into Java: Translating Theory into Practice. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Java
1Kim Marriott, Martin Odersky Negative Boolean Constraints. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Martin Odersky Challenges in Type Systems Research. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Martin Odersky, Konstantin Läufer Putting Type Annotations to Work. Search on Bibsonomy POPL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1John Maraist, Martin Odersky, David N. Turner, Philip Wadler Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Richard Helm, Kim Marriott, Martin Odersky Spatial Query Optimization: From Boolean Constraints to Range Queries. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Ian A. Mason, Martin Odersky Special Issue on State in Programming Languages - Introduction. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1995 DBLP  BibTeX  RDF
1Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler The Call-by-Need Lambda Calculus. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Martin Odersky, Philip Wadler, Martin Wehr A Second Look at Overloading. Search on Bibsonomy FPCA The full citation details ... 1995 DBLP  BibTeX  RDF
1Martin Odersky Polarized Name Passing. Search on Bibsonomy FSTTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kim Marriott, Martin Odersky A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Konstantin Läufer, Martin Odersky Polymorphic Type Inference and Abstract Data Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
1Kung Chen, Martin Odersky A Type System for a Lambda Calculus with Assignments. Search on Bibsonomy TACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Martin Odersky A Functional Theory of Local Names. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Martin Odersky Defining Context-Dependent Syntax Without Using Contexts. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF context-dependent syntax, programming language definition
1Martin Odersky, Dan Rabin, Paul Hudak Call by Name, Assignment, and the Lambda Calculus. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Kung Chen, Paul Hudak, Martin Odersky Parametric Type Classes. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Martin Odersky Observers for Linear Types. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Martin Odersky How to Make Destructive Updates Less Destructive. Search on Bibsonomy POPL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Konstantin Läufer, Martin Odersky Type Classes are Signatures of Abstract Types. Search on Bibsonomy Declarative Programming The full citation details ... 1991 DBLP  BibTeX  RDF
1Richard Helm, Kim Marruitt, Martin Odersky Building visual language parsers. Search on Bibsonomy CHI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Richard Helm, Kim Marriott, Martin Odersky Constraint-Based Query Optimization for Spatial Databases. Search on Bibsonomy PODS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Martin Odersky MINOS: A New Approach to the Design of an Input/Output Library for Modula-2. Search on Bibsonomy Structured Programming The full citation details ... 1989 DBLP  BibTeX  RDF
1Martin Odersky Einfache und effiziente inkrementelle Syntaxanalyse. Search on Bibsonomy Inform., Forsch. Entwickl. The full citation details ... 1987 DBLP  BibTeX  RDF
Displaying result #1 - #78 of 78 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.