Stefan Kaes

According to our database1, Stefan Kaes authored at least 5 papers between 1988 and 2005.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
Parametrischer Polymorphismus, Überladungen und Konversionen.
PhD thesis, 2005

1992
Type Inference in the Presence of Overloading, Subtyping and Recursive Types.
Proceedings of the Conference on Lisp and Functional Programming, 1992

1991
Utilizing Fifth Generation Technology in Software Development Tools.
Proceedings of the Software Development Environments and CASE Technology, 1991

1988
SAMPLE - A Functional Language.
Proceedings of the VDM '88, 1988

Parametric Overloading in Polymorphic Programming Languages.
Proceedings of the ESOP '88, 1988


  Loading...