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] |