Odersky, Martin.
Odersky, Martin, 1958-....
Martin Odersky
אודרסקי, מרטין
VIAF ID: 54844557 (Personal)
Permalink: http://viaf.org/viaf/54844557
Preferred Forms
-
100 0 _ ‡a Martin Odersky
-
100 1 _ ‡a Odersky, Martin
-
100 1 _ ‡a Odersky, Martin
-
-
-
100 1 _ ‡a Odersky, Martin
-
-
-
-
100 1 _ ‡a Odersky, Martin ‡d 1958-
-
-
100 1 _ ‡a Odersky, Martin, ‡d 1958-....
-
-
4xx's: Alternate Name Forms (22)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings |
![]() |
call by need lambda calculus |
![]() |
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 |
![]() ![]() ![]() |
ECOOP 2004, c2004: |
![]() ![]() ![]() |
ECOOP 2004 - object-oriented programming : 18th European conference, Oslo, Norway, June 14-18, 2004 : proceedings |
![]() ![]() ![]() ![]() ![]() |
nb2004303145 |
![]() |
A new approach to formal language definition and its application to Oberon |
![]() |
Process calculus foundation of sequential programming constructs |
![]() |
Programming in Scala |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Proof of the principal type property for system O |
![]() |
Scala for the impatient |
![]() |
Scala in depth |
![]() ![]() |
Scalaスケーラブルプログラミング |
![]() |
second look at overloading |
![]() |
sukara sukēraburu puroguramingu |
![]() |
Type inference with constrained types |
![]() |