Martin Odersky

Available identifiers

zbMath Open odersky.martinDBLPo/MartinOderskyWikidataQ847990 ScholiaQ847990MaRDI QIDQ1004063

List of research outcomes

Publication	Date of Publication	Type
Programming with variable functions	2019-09-26	Paper
Programming with variable functions	2017-08-21	Paper
Polarized name passing	2017-01-19	Paper
The Essence of Dependent Object Types	2016-08-17	Paper
Colored local type inference	2015-03-17	Paper
Extensible algebraic datatypes with defaults	2015-03-09	Paper
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform	2015-01-06	Paper
Optimizing data structures in high-level programs	2014-11-27	Paper
Fighting bit rot with types (Experience report: Scala collections)	2012-10-24	Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science	2009-08-06	Paper
Scala actors: Unifying thread-based and event-based programming	2009-03-02	Paper
Translation Correctness for First-Order Object-Oriented Pattern Matching	2008-05-15	Paper
A Core Calculus for Scala Type Checking	2007-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4813227	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2753702	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2729049	2001-11-06	Paper
Call-by-name, call-by-value, call-by-need and the linear lambda calculus	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4490735	2000-07-20	Paper
The call-by-need lambda calculus	1999-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4222771	1998-12-10	Paper
A confluent calculus for concurrent constraint programming	1998-07-23	Paper
Negative Boolean constraints	1997-02-27	Paper
Spatial query optimization: From Boolean constraints to range queries	1995-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q3995229	1993-01-23	Paper
Einfache und effiziente inkrementelle Syntaxanalyse. (Simple and efficient incremental syntax analysis)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Martin Odersky