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-
-
- 100 1 _ ‡a Odersky, Martin, ‡d 1958-....
-
-
4xx's: Alternate Name Forms (23)
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 sukeraburu puroguramingu. | |
Type inference with constrained types |