Martin Wehr

According to our database, Martin Wehr authored at least 4 papers between 1995 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Higher-dimensional syntax.

Martin Wehr

Proceedings of the Conference on Category Theory and Computer Science, 1999

Type Inference with Constrained Types.

Martin Odersky, Martin Sulzmann, Martin Wehr

Theory Pract. Object Syst., 1999

1997

Überladung in Typsystemen.

Martin Wehr

PhD thesis, 1997

1995

A Second Look at Overloading.

Martin Odersky, Philip Wadler, Martin Wehr

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995