హెచ్‌టిఎమ్ఎల్(HTML)
1980లో, CERN అనే సంస్థలో స్వతంత్ర కాంట్రాక్టర్ అయిన భౌతిక శాస్త్రవేత్త టిమ్ బెర్నెర్స్ లీ పత్రాలను ఉపయోగించడానికి మరియు పంచుకోవడానికి CERN పరిశోధకుల కోసం ENQUIRE అనే వ్యవస్థను రూపకల్పన చేశాడు. 1989వ సంవత్సరంలో, ఇదే కార్యాచరణను అందించే ఇంటర్నెట్-ఆధారిత హైపర్‌టెక్స్ట్ వ్యవస్థ కోసం బెర్నర్స్-లీ మరియు CERN డేటా వ్యవస్థల ఇంజనీర్ రాబర్ట్ కైలియోలు వేర్వేరుగా ప్రతిపాదనలను చేశారు. తదుపరి సంవత్సరంలో, వారు CERN అంగీకరించిన WorldWideWeb (W3) అనే ప్రాజెక్ట్‌పై సమిష్టి ప్రతిపాదన కోసం సహకరించుకున్నారు. 1990వ సంవత్సరంలోని వ్యక్తిగత పరిశోధనల నుండి , ""హైపర్‌టైక్స్ట్ ఉపయోగించే పలు రంగాల్లో కొన్నింటిని"" జాబితా చేసి, మొదటి ఎన్‌సైక్లోపీడియాను రూపొందించాడు.
పాలీ మార్ఫిజం (బహురూపత)(కంప్యూటర్ సైన్సు)
1985 లో కార్డెల్లి మరియు వేగ్నేర్, టైపు పారామీటర్లు పైన "పరిమితులను" అనుమతించడము వల్ల ఉపయోగాలను గుర్తించారు. చాల క్రియలు సమాచార రకాల యొక్క జ్ఞానాన్ని కలిగి ఉండటాన్ని కోరుకుంటాయి,కాని పారా మెట్రికల్ గా పనిచేస్తాయి.ఉదాహరణకు,ఒక వస్తువు జాబితాలో ఉందేమో చూసుకోవటానికి,వాటి సమానత్వం కోసం మనం వాటిని పోల్చి చూడాలి.స్టాండర్డ్ ML లో, ఫాం "’’a" యొక్క టైపు పేరా మీటర్లు నిర్బందించ బడ్డాయి అందువలన సమానత్వ క్రియ (ఈక్వాలిటి ఆపరేషన్ )వీలైంది,దీనితో ఈ ఫంక్షన్, టైపు "’’a" × "’’a" లిస్టు → బూల్ ను కలిగి ఉంది మరియు "’’a" అనేది నిర్వచిత సమానత్వంతో ఉన్నా ఒక రకం మాత్రమే.హస్కేల్ లో,రకాలను ఒక రకం క్లాసుకు చెందాలని కోరుకోవటం ద్వారా బౌన్దింగ్ సాధించబడుతుంది; అందుకని హాస్కేల్ లో రకం {\scriptstyle Eq \, \alpha \, \Rightarrow \alpha \, \rightarrow \left[\alpha \right] \rightarrow Bool}ను కలిగి ఉంది. పారా మెట్రక్ పాలిమార్ఫిజాన్ని సమర్ధించే అన్ని ఆబ్జెక్ట్-ఓరిఎంటెడ్ ప్రోగ్రామింగ్ భాష లలో,పారా మీటర్లు,ఇచ్చిన రకం యొక్క ఉప రకాలుగా నిర్బందిచబడ వచ్చు(క్రింద వున్నా #సబ్ టైపింగ్ పాలిమార్ఫిజం మరియు జెనెరిక్ ప్రోగ్రామింగు పైన వ్యాసము చూడుము).