पैरामीट्रिक पोलिमोर्फ़िज्मएक भाषा को अधिक अभिव्यक्तिपूर्ण बनाने का एक तरीका है, जबकि फिर भी यह पूर्ण सांख्यिकीय प्रकार-सुरक्षा (type-safety) को बनाये रखता है। 

उदाहरण के लिए, एक फंक्शन codice_1 जो दो सूचियों को जोड़ता है, उसका निर्माण इस तरीके से किया जा सकता है कि इसे तत्व के प्रकार से कोई फर्क नहीं पड़ता: यह पुर्णान्कों की सूची को, वास्तविक संख्याओं की सूची को, श्रृंखला की सूची को और इस प्रकार से कई अन्य सूचियों को संलग्न (append) कर सकता है। 
माना कि इस सूची में "प्रकार चर a " तत्व के प्रकार को निरुपित करता है।

तब codice_1 को ["a" ] × ["a" ] → ["a" ] रूप में टाइप किया जा सकता है, जहां ["a" ] प्रकार "a" के तत्वों की सूची को निरुपित करता है। 

हम कहते हैं कि codice_3 का प्रकार "a" के सभी मानों के लिए "a के द्वारा पैरामिट्रीकृत" होता है। (ध्यान दें कि चूंकि एक ही प्रकार का चर होता है, फंक्शन को सूचियों के किसी भी युग्म पर लागू नहीं किया जा सकता है: युग्म और परिणाम सूची, में समान प्रकार के तत्व होने चाहिए.) 
हर स्थान के लिए जहां codice_1 लागू किया जाता है, "a" के लिए एक मान को निर्धारित किया जाता है।

पैरामीट्रिक पोलिमोर्फ़िज्मको सबसे पहले 1976 में ML में प्रोग्रामिंग भाषाओँ के लिए शुरू किया गया। 

वर्तमान में यह स्टैण्डर्ड ML, OCaml, Ada (आदा), Haskell (हास्केल), C++, विजुअल प्रोलोग और अन्य में मौजूद है। जावा, C#, Visual Basic .NET और डेल्फी (कोड गियर) में से प्रत्येक ने हाल ही में पैरामीट्रिक पोलिमोर्फ़िज्मके लिए "जेनेरिक्स" की शुरुआत की है। 

पोलिमोर्फ़िज्मका सबसे सामान्य रूप "उच्च श्रेणी की इमप्रेडीकेटिव पोलिमोर्फ़िज्म (higher-rank impredicative polymorphism)" है।

इस रूप के दो लोकप्रिय प्रतिबन्ध हैं प्रतिबंधित रैंक पोलिमोर्फ़िज्म (restricted rank polymorphism) (उदाहरण के लिए, रैंक-1 या "प्रिनेक्स" पोलिमोर्फ़िज्म (prenex polymorphism)) और प्रेडीकेटिव पोलिमोर्फ़िज्म (predicative polymorphism).

साथ ही, ये प्रतिबन्ध "प्रेडीकेटिव प्रिनेक्स पोलिमोर्फ़िज्म (predicative prenex polymorphism)" देते हैं, जो आवश्यक रूप से ML और हास्केल के प्रारंभिक संस्करणों में पायी जाने वाली पोलिमोर्फ़िज्मका रूप है। 

पैरामीट्रिक पोलिमोर्फ़िज्म (Parametric polymorphism)
रैंक- "k" पोलिमोर्फ़िज्म
प्रेडीकेटीविटी प्रतिबंध (Predicativity restrictions)
इमप्रेडीकेटिव पोलिमोर्फ़िज्म (Impredicative polymorphism) ("प्रथम श्रेणी" की बहुरूपता)