Martin Odersky

Available identifiers

zbMath Open odersky.martinWikidataQ847990 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin Odersky