{"entities":{"Q2936778":{"pageid":2947498,"ns":120,"title":"Item:Q2936778","lastrevid":85234946,"modified":"2026-06-03T06:22:49Z","type":"item","id":"Q2936778","labels":{"en":{"language":"en","value":"Type inference, principal typings, and let-polymorphism for first-class mixin modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383922"}},"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":"Q2936778$059D538B-D371-4F96-95CE-96D8D384B14D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96c5a12f4527b0a18a4e9333b89cdb01bb4ba8bd","datavalue":{"value":{"text":"Type inference, principal typings, and let-polymorphism for first-class mixin modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936778$42AA3397-1535-4D40-8317-5839C43406FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"089cefe085c8cf831540f4a9f40b7819eb9fcebf","datavalue":{"value":"1302.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936778$AF91F9A7-724B-49FA-B009-65B89F1AFDE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"447d6e22ba6de0888f0091fddf596d2c7316b1ed","datavalue":{"value":"10.1145/1086365.1086386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936778$83305FCE-EE44-4227-B717-4D9340AD99F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"069949581fbacb8ebb99dc883f79fe2cdf76591d","datavalue":{"value":{"entity-type":"item","numeric-id":2724143,"id":"Q2724143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936778$64C813C0-31C6-4599-B50C-746E81EABE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936778$B894372A-41D2-41D3-BA7F-AE2A6A0ED466","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"009f14fcff92f2b9864a3e960eefae33e15fd175","datavalue":{"value":{"entity-type":"item","numeric-id":2936758,"id":"Q2936758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936778$50F0F767-CE01-45DC-A4E7-88362602522B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936778$875FE35E-31DD-493A-8F9F-4FA31EED1988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936778$CA52B250-5469-4381-93FE-20B77D9A8C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936778$B9924EDC-127A-4129-8B8E-57E48419246C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936778$01357D54-106A-4AA6-AC89-BA53D9E786D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bfffe731f7f8a12fe4d79e953753b1f218684e9","datavalue":{"value":"6383922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936778$A646DFE9-A103-4594-9158-7AAB86FDC3FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba462dfe3ab5666631462a7b33e92b86e7a2b9f","datavalue":{"value":"mixin modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936778$323F9E74-9138-4583-98F6-D062A4493B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936778$E1C93DC2-690B-4AB6-94A3-9E56DC706B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4705d5a792fea146ae97d841dd57c4c3ed3f6fbf","datavalue":{"value":"record concatenation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936778$3365316C-C276-4509-BD98-92CE9D9F6822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9fe6fd762c3998764847e1b784bf6068f78cac2","datavalue":{"value":"row unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936778$7A0E508A-FC93-4BEB-9E49-4A11917AC308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936778$1FC72070-1860-4931-A9A8-0032B81B3DC7","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":"Q2936778$843CE11F-73AE-470F-B594-4C55737D9BD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bd5ce59845315b253ef2faf862392baa82d16cb","datavalue":{"value":"https://doi.org/10.1145/1086365.1086386","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936778$117F038A-BBD6-4081-B885-DE7444F8EDC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49aec95596692bd2c0487ab4006ed0637c35128f","datavalue":{"value":"W2074666936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936778$C7CBDDD2-40B0-4FD7-B966-6585B6191BD7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b88fd078971992f1e9e6c18016a13077302f41d","datavalue":{"value":"Q130966493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936778$9DB40F19-8CCA-4787-A1C9-6DF48D2DCD54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bf45d6c156265398d33a1d1776acea003efae2","datavalue":{"value":{"entity-type":"item","numeric-id":2817705,"id":"Q2817705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe023ff17ab1300cd73b6f0f5bef75a60bc3e0d","datavalue":{"value":{"amount":"+0.7555733919143677","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":"Q2936778$3DB13014-A2A0-4B84-A76B-DC94EA6B7B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6edad1d5080e70c3101753bcf2ee4ed2b36e4740","datavalue":{"value":{"entity-type":"item","numeric-id":5178771,"id":"Q5178771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2153e65d4c10075ee39fc7857addd24b8d12c0d2","datavalue":{"value":{"amount":"+0.7518125176429749","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":"Q2936778$93A98C1C-4BBC-4595-8DED-479FC0013F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f55555f9cf86b075a445545e238a3ffd5e963a6","datavalue":{"value":{"entity-type":"item","numeric-id":5756513,"id":"Q5756513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e14df854681fab93a917a9a4d895c04c4be548a","datavalue":{"value":{"amount":"+0.7421050071716309","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":"Q2936778$1C9963CD-D6F5-47DB-A909-09AD70B168C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce48941f943a98733af53cca525de1478907fe3c","datavalue":{"value":{"entity-type":"item","numeric-id":5308023,"id":"Q5308023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826e91655a99b6cec015195ab79253ad934b26d3","datavalue":{"value":{"amount":"+0.7337203621864319","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":"Q2936778$902D7E59-A76E-4C3D-B6C0-CA65DFAFB249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2eb347944524b8aa00e5a342d6ec1648ed430f","datavalue":{"value":{"entity-type":"item","numeric-id":5370846,"id":"Q5370846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0c04eae9cdf92da7964fa67c54040b0d753647","datavalue":{"value":{"amount":"+0.7166301012039185","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":"Q2936778$383B2E8B-180D-40C4-B8C2-D2AC0E150E0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference, principal typings, and let-polymorphism for first-class mixin modules","badges":[]}}}}}