VIAF

Virtual International Authority File

Search

Odersky, Martin Library of Congress/NACO German National Library Sudoc [ABES], France ISNI National Library of the Netherlands National Diet Library, Japan

Odersky, Martin, 1958- NUKAT Center of Warsaw University Library National Library of the Czech Republic German National Library

Martin Odersky deutscher Informatiker, Entwickler Wikidata

VIAF ID: 54844557 (Personal)

Permalink: http://viaf.org/viaf/54844557

ISNI: 0000  0001  1646  3067 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (9)

Open Section Close SectionWorks

Title Sources
Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings Sudoc [ABES], France
call by need lambda calculus German National Library
CC 2007 Sudoc [ABES], France
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 National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Domain-Specific Program Generation International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers Sudoc [ABES], France
ECOOP 2004, c2004: Library of Congress/NACO
ECOOP 2004 – Object-Oriented Programming 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings Sudoc [ABES], France Library of Congress/NACO German National Library
new approach to formal language definition and its application to Oberon German National Library
Process calculus foundation of sequential programming constructs German National Library
Programming in Scala NUKAT Center of Warsaw University Library National Diet Library, Japan National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Proof of the principal type property for system O German National Library
Scala in depth Sudoc [ABES], France
Scalaスケーラブルプログラミング : コンセプト&コーディング National Diet Library, Japan
second look at overloading German National Library
sukara sukēraburu puroguramingu National Diet Library, Japan
Type inference with constrained types German National Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section History of VIAF ID:54844557 (22)