Martin Wehr

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1999
Higher-dimensional syntax.
Proceedings of the Conference on Category Theory and Computer Science, 1999

Type Inference with Constrained Types.
Theory Pract. Object Syst., 1999

1997
Überladung in Typsystemen.
PhD thesis, 1997

1995
A Second Look at Overloading.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995


  Loading...