Veröffentlichungen/Publications
2011
2010
2009
2008
2007
2006
-
Type-Inference in Java
(pdf)
In Proceedings of the
Annual Meeting for Information Technology & Computer Science of the BA-University
of Cooperative Education (to appear)
, pages , Horb, 09. November 2006
2005
-
Object-Oriented Tokens for the Parser Generator jay
(pdf)
In Proceedings of the
Annual Meeting for Information Technology & Computer Science of the BA-University
of Cooperative Education
, pages 33-35, Stuttgart, 03. Mai 2005
2004
-
Type Unification in Generic-Java
(postscript)
In Proceedings
of 18th International Workshop on Unification,
pages , Cork, Ireland, July 5. 2004
-
Untyped Methods in Generic-Java
(pdf)
In Proceedings
of the Annual Meeting for Information Technology & Computer Science of the
BA-University of Cooperative Education 1st Edition
, pages 16-18, Stuttgart, 07. Juli 2004
1999
1998
- Type-Inference in OBJ-P , in Proceedings of the 7th International
Workshop on Fuctional and Logic Programming, Bad Honnef, April 1998
(postscript)
- OBJ-P The Polymorphic Extension of OBJ-3 Phd thesis, December 1998
(postscript)
1997
- Technical report WSI-97-1 Polymorphically order-sorted types in
OBJ-3 (postscript)
- Technical report WSI-97-2 Parametric Polymorphism in OBJ-3 (postscrip\
t)
- Complete polymorphic order-sorted unification, in Proceedings
of Programming Languages and Fundamentals of Programming, Fehmarn, September
1997 (postscript)
1996
- Resolving of Overloading and Subtyping, in Preliminary Proceedings
of Prespectives of System Informatics '96, Novosibirsk (postscript)
1995
- Technical report WSI-95-22 Concepts for Overloading and Subtyping
in an Algebraic Specification Language (postscript)
1994
- Subtyping and Overloading in a Functional Programming Language (postscript)
11. Workshop der GI-Fachgruppe 2.1.4
"Alternative Konzepte für Sprachen und Rechner"
(9. - 11. Mai 1994, Bad Honnef)
- Technical report WSI-94-14 Subtyping and Overloading in a Functional
Programming Language (postscript)