Martin Wehr

Publication Activity (10 Years)

Years Active: 1995-1999
Publications (10 Years): 0

Universität Karlsruhe (PHD)

Education History

Universität Karlsruhe

PHD

Publications

Martin Odersky, Martin Sulzmann, Martin Wehr
Type Inference with Constrained Types. Theory Pract. Object Syst. 5 (1) (1999)
Martin Wehr
Higher-dimensional syntax. CTCS (1999)
Martin Odersky, Philip Wadler, Martin Wehr
A Second Look at Overloading. FPCA (1995)