![]() |
| 1999 | ||
|---|---|---|
| 3 | EE | Martin Wehr: Higher-dimensional syntax. Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 2 | Martin Odersky, Martin Sulzmann, Martin Wehr: Type Inference with Constrained Types. TAPOS 5(1): 35-55 (1999) | |
| 1995 | ||
| 1 | Martin Odersky, Philip Wadler, Martin Wehr: A Second Look at Overloading. FPCA 1995: 135-146 | |
| 1 | Martin Odersky | [1] [2] |
| 2 | Martin Sulzmann | [2] |
| 3 | Philip Wadler | [1] |