77 lines
2.6 KiB
Plaintext
77 lines
2.6 KiB
Plaintext
|
\begin{thebibliography}{CMP00}
|
||
|
|
|
||
|
|
\bibitem[B{\"a}u05]{JB05}
|
||
|
|
J{\"o}rg B{\"a}uerle.
|
||
|
|
\newblock {\em Typinferenz in \textsf{Java}}.
|
||
|
|
\newblock Studienarbeit, BA Stuttgart/Horb, 2005.
|
||
|
|
\newblock (in german).
|
||
|
|
|
||
|
|
\bibitem[CMP00]{CMP2000}
|
||
|
|
Emmanuel Chailloux, Pascal Manoury, and Bruno Pagano.
|
||
|
|
\newblock {\em D\'eveloppement d'applications avec Objective Caml}.
|
||
|
|
\newblock O'Reilly, avril 2000.
|
||
|
|
\newblock in french, translation http://caml.inria.fr/oreilly-book.
|
||
|
|
|
||
|
|
\bibitem[Lit98]{VL98}
|
||
|
|
Vassily Litvinov.
|
||
|
|
\newblock Constraint-based polymorphism in {Cecil}: Towards a practical and
|
||
|
|
static type system.
|
||
|
|
\newblock In {\em {OOPSLA} '98 Conference Proceedings}, volume 33(10), pages
|
||
|
|
388--411, 1998.
|
||
|
|
|
||
|
|
\bibitem[Mel05]{MM05}
|
||
|
|
Markus Melzer.
|
||
|
|
\newblock {\em Integration der \textsf{Java}--Typeinferenz in eine
|
||
|
|
Programmierumgebung}.
|
||
|
|
\newblock Studienarbeit, BA Stuttgart/Horb, 2005.
|
||
|
|
\newblock Studienarbeit (in german).
|
||
|
|
|
||
|
|
\bibitem[Ode02]{MO02}
|
||
|
|
Martin Odersky.
|
||
|
|
\newblock Inferred type instantiation for {GJ}.
|
||
|
|
\newblock Note sent to the types mailing list, January 2002.
|
||
|
|
|
||
|
|
\bibitem[Ott04]{TO04}
|
||
|
|
Thomas Ott.
|
||
|
|
\newblock {\em Typinferenz in \textsf{Java}}.
|
||
|
|
\newblock Studienarbeit, BA Stuttgart/Horb, 2004.
|
||
|
|
\newblock (in german).
|
||
|
|
|
||
|
|
\bibitem[OZZ01]{OZZ01}
|
||
|
|
Martin Odersky, Christoph Zenger, and Matthias Zenger.
|
||
|
|
\newblock Colored local type inference.
|
||
|
|
\newblock {\em ACM SIG{\-}PLAN Notices}, 36(3):41--53, 2001.
|
||
|
|
|
||
|
|
\bibitem[PC94]{PC94}
|
||
|
|
John Plevyak and Andrew~A. Chien.
|
||
|
|
\newblock Precise concrete type inference for object-oriented languages.
|
||
|
|
\newblock In {\em Proceedings of the ninth annual conference on Object-oriented
|
||
|
|
programming systems, language, and applications}, pages 324--340. ACM Press,
|
||
|
|
1994.
|
||
|
|
|
||
|
|
\bibitem[Pl{\"u}04]{Plue04_1}
|
||
|
|
Martin Pl{\"u}micke.
|
||
|
|
\newblock Type unification in \textsf{Generic--Java}.
|
||
|
|
\newblock In Michael Kohlhase, editor, {\em Proceedings of 18th {I}nternational
|
||
|
|
{W}orkshop on {U}nification ({U}{N}{I}{F}'04)}, July 2004.
|
||
|
|
\newblock {\tt http://www.faculty.iu-bremen.de/mkohlhase/event/unif04}.
|
||
|
|
|
||
|
|
\bibitem[PS91]{PS91}
|
||
|
|
Jens Palsberg and Michael~I. Schwartzbach.
|
||
|
|
\newblock Object-oriented type inference.
|
||
|
|
\newblock {\em Proceedings of OOPSLA'91, ACM SIGPLAN Sixth Annual Conference on
|
||
|
|
Object-Oriented Programming Systems, Languages and Applications}, pages
|
||
|
|
146--161, October 1991.
|
||
|
|
|
||
|
|
\bibitem[PS94]{PS94}
|
||
|
|
Jens Palsberg and Michael~I. Schwartzbach.
|
||
|
|
\newblock {\em Object-oriented type systems}.
|
||
|
|
\newblock John Wiley \& Sons, 1994.
|
||
|
|
|
||
|
|
\bibitem[PT00]{PT00}
|
||
|
|
Benjamin~C. Pierce and David~N. Turner.
|
||
|
|
\newblock Local type inference.
|
||
|
|
\newblock {\em ACM Trans. Program. Lang. Syst.}, 22(1):1--44, 2000.
|
||
|
|
|
||
|
|
\end{thebibliography}
|