|
1 |
Object oriented programming Berlin : Springer, 2004
|
|
|
2 |
[Object oriented programming] [Berlin : [Springer], 2004
|
|
|
3 |
Proof of the principal type property for system O Wehr, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
|
|
|
4 |
Type inference with constrained types Sulzmann, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
|
|
|
5 |
A second look at overloading Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1995
|
|
|
6 |
Process calculus foundation of sequential programming constructs Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1994
|
|
|
7 |
The call by need lambda calculus Maraist, John. - Karlsruhe : Univ., Fak. für Informatik, 1994
|
|
|
8 |
A new approach to formal language definition and its application to Oberon Odersky, Martin, 1989
|
|
|
9 |
Odersky, Martin 1958- / Informatiker
|
|