Typsysteme auf Basis des von R. Milner entwickelten Konzepts des parametrischen Polymorhpismus zeichnen sich dadurch aus, daß jedes wohltypisierte Programm eine eindeutige denotationale Semantik besitzt, die Typfehler zur Laufzeit verhindert. Darüber hinaus kann jedem typisierbaren Programm ein allgemeinster Typ zugeordnet werden, der alle möglichen Instanztypen durch einen einzigen Typausdruck über unsortierten Typvariablen darstellt, und dieser Typausdruck kann auf Basis eines Unifikationsalgorithmus für Typausdrücke berechnet werden. Dabei sind Typangaben für vom Programmierer eingeführte Bezeichner optional. Überladene Operatoren bzw. Konstanten werden in traditionellen und auch in moderneren objekt-orientierten Sprachen als rein syntaktische Erleichterungen behandelt: ein Operator darf eine endliche Menge verschiedener Typen annehmen und zur Übersetzungszeit muß für sämtliche Vorkommen eines überladenen Operators bestimmt werden, welche Überladungsinstanz vom Programmierer an der entsprechenden Programmstelle intendiert war. Diesen Prozeß bezeichnet man üblicherweise als Überladungsauflösung. Fügt man einem parametrisch polymorphen Typsystem Überladungen auf der Grundlage dieses Ansatzes hinzu, dann erhält man einen NP-vollständigen Typinferenzalgorithmus. Darüber hinaus kann ein solches Typsystem zwar die Verwendung überladener Operatoren ermöglichen, aber es erlaubt nicht deren Abstraktion in der Definition neuer Funktionen, da ein Ausdruck mehr als einen Typ besitzen kann. In der vorliegenden Arbeit wird das Konzept der parametrischen Überladungen vorgestellt, das diese Nachteile vermeidet und dabei sämtliche Vorteile des parametrischen Polymorphismus beibehält: jeder typisierbare Ausdruck besitzt einen allgemeinsten Typ, typisierbare Programme führen nie zu Laufzeitfehlern, die Komplexität des Inferenzalgorithmus ist polynomial zeitbeschränkt und überladene Operatoren können in Funktionsdefinitionen abstrahiert werden. Darauf aufbauend untersuchen wir Typinferenzsysteme für Sprachen, die zusätzlich zu Überladungen auch noch implizite Konversionen unterstützen. Dazu definieren wir ein generisches Typinferenzsystem für eingeschränkte Typen und zeigen, daß auch in einem solchen System allgemeinste Typen existieren und Typisierbarkeit für bestimmte Restriktionsklassen entscheidbar bleibt. Abschließend zeigen wir, daß parametrische Überladungen mit regulären Typen kombiniert werden können.