{"entities":{"Q685400":{"pageid":687249,"ns":120,"title":"Item:Q685400","lastrevid":63459861,"modified":"2026-04-11T13:18:21Z","type":"item","id":"Q685400","labels":{"en":{"language":"en","value":"Structural polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417342"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685400$F832AEC8-1FD9-40FC-A2C3-1210BBC0CCC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b5d32df50cbe67d4836a1c5680219eb78414e9d","datavalue":{"value":{"text":"Structural polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685400$0A09597B-0328-4DE9-8E16-97C48CB44451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9165d50916e2136d1c81a88441b60a607d1513fe","datavalue":{"value":"0812.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685400$E41DFE28-FCBE-4B82-9535-D168E693280F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49b438f2770c7355bcf16fc501bf9505e99771f1","datavalue":{"value":"10.1016/0304-3975(93)90057-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685400$09A1A4F8-810E-45B0-9373-010AE15088E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685400$8043C187-7D59-4058-88A9-2612721F889E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685400$065AB2FD-3B78-4BB8-90BA-C57F4D284AFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a8be2871edb6e4d807dece16b975e3518c7534a","datavalue":{"value":"Bainbridge, Freyd, Scedrov and Scott have introduced functorial polymorphism to formalize parametricity in polymorphism. Here, the author goes on in more depth; he gives a generalization of the notion of a functor, developing a theory of ``structors''. Structors are used to define a parametric polymorphism such that intrinsic definitions of the basic data types are allowed. The results of the paper show that functors are particular structors, and dinatural transformations between bifunctors are transformations between structors. Related to polymorphism, the variable types are interpreted as structors, and terms as transformation between structors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685400$E0C92C73-3D9A-49C9-B6AB-230DF0F594AB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a15109437d833303a14fd0218e3039f04ef1e62d","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685400$80705456-E981-4B31-8DDE-32CBBD056128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685400$DB93A9EA-FBCB-4636-AA46-1D59B2BF5DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685400$9FAE34C0-AD0C-4460-BC4B-62F5B468A189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685400$21C95D46-096C-4211-8D12-980343A5869D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685400$7391362C-6B7E-44CC-B1AE-CFD796CE8467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f68e06ec506820e62b3210862b300fec91b68b59","datavalue":{"value":"18A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685400$7AAD7EC2-1F6E-44FE-84EA-2A12E7024051","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e0cf2e4d3b2812efb364083784df4752dfbca47","datavalue":{"value":"417342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685400$DD074D20-B880-40C1-8612-D4BC37626C5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d27800832a4200449f019d2b31ce3d232b35fcb","datavalue":{"value":"natural transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q685400$4AC6E9AE-B60F-4893-A2E4-E54E1728187B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85af776c581320e643796ea06b64ad737db21101","datavalue":{"value":"functorial polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q685400$61E5B373-844B-45DB-B6F3-B90B75FDCAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q685400$4D6A74B8-8547-431E-94F9-2D1AD2A7EACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q685400$31F9162D-571A-4D08-B945-79565B60F156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e856ddfe5936af1e40b55be14464c61de4701f","datavalue":{"value":"structors","type":"string"},"datatype":"string"},"type":"statement","id":"Q685400$F93462C6-B59A-48C0-B895-8C290A2E8178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7131a3634656457716622315cbffc71ec28f8c55","datavalue":{"value":"dinatural transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q685400$20851D81-11CC-472F-9900-45C3909236D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1b4adedf61023d28e6b167f4ec52fc1042cf74","datavalue":{"value":"variable types","type":"string"},"datatype":"string"},"type":"statement","id":"Q685400$E6A9538D-14BC-4398-A8C7-18EED6FE582B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393cb06a1b35c9b2bbc65f1c43f6792dbf163865","datavalue":{"value":{"entity-type":"item","numeric-id":1393468,"id":"Q1393468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685400$BA0E41DE-00A9-49C4-A4CA-2194D03DD492","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685400$18A923B4-020B-4B33-8322-F0CFBCF0BF2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04ab48c719e37a05a4fd853516c3ebd27c9042f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528c2029113664f4059645b278020da5ce017aef","datavalue":{"value":{"amount":"+0.8166688084602356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685400$9F5448EB-39B6-4821-94FA-0500ED9A5C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9e5dc2968041f4cb2517716fd874284e3ab330","datavalue":{"value":{"entity-type":"item","numeric-id":3483291,"id":"Q3483291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75cead69af1f89ee8912fafb7b175339bccab929","datavalue":{"value":{"amount":"+0.7948654890060425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685400$D3D4F154-8D2F-4C96-81C6-676E0943D23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb405f35fb9a6db152361f28f9823429a28821c","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d29852ebf30b5980e0e7e3426a312eaa8e82cde","datavalue":{"value":{"amount":"+0.7776493430137634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685400$7D817B01-92A9-45BA-8E00-3D438228A8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4116d7bb7083b191bc72e76ece0f0ff01486a31","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3bef07495bf0c66ec5d6e35c7bf435e6657340","datavalue":{"value":{"amount":"+0.7601444721221924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685400$D61B1FD1-CC5E-4EE1-A74A-22FC32C5BC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1b9b4f29300650dae7041c96a64ca37efa446b","datavalue":{"value":{"entity-type":"item","numeric-id":6171748,"id":"Q6171748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3bef07495bf0c66ec5d6e35c7bf435e6657340","datavalue":{"value":{"amount":"+0.7601444721221924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685400$577E59F6-10A9-4A20-8E40-C05B2B6FD712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural polymorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structural_polymorphism"}}}}}