Martin Wehr

According to our database1, Martin Wehr
  • authored at least 4 papers between 1995 and 1999.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1999
Higher-dimensional syntax.
Electr. Notes Theor. Comput. Sci., 1999

Type Inference with Constrained Types.
TAPOS, 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...