{"entities":{"Q1107512":{"pageid":1118261,"ns":120,"title":"Item:Q1107512","lastrevid":69659277,"modified":"2026-04-13T08:31:30Z","type":"item","id":"Q1107512","labels":{"en":{"language":"en","value":"Automatic binding time analysis for a typed \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4064956"}},"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":"Q1107512$8E68A78C-8FB6-4159-817E-538B29B3998E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae11a2215059775600228e0fdb5d229d8bcaa98b","datavalue":{"value":{"text":"Automatic binding time analysis for a typed \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1107512$87E4D6AC-40CD-430C-AD8D-F58D753AFC4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d157aa47c952a7dd1867603ee0a27d015c8059ab","datavalue":{"value":"0653.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107512$83D0784C-0A68-4C5C-9AEB-F5A18BEA5891","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94f2157ad056be7a011057b9882da89623e41aeb","datavalue":{"value":"10.1016/0167-6423(88)90025-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107512$B2142D56-07F2-40B5-AE12-5BA0A3EEF224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea8e8caf5ebeae03b16c41d80e359bb7affd45b","datavalue":{"value":{"entity-type":"item","numeric-id":1107511,"id":"Q1107511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107512$197899C4-6AEB-4A07-8E6D-1A7A7A1CB848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107512$6FF12A9C-CF06-4A03-BD83-39D44BCEF372","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107512$7E757528-7A07-43A9-8106-BE6737012CF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1107512$84380032-3DFA-43F4-9615-8ADB8CAEF734","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4a453d157075eb05cb46687216c68ee7c5edca8","datavalue":{"value":"The paper presents an algorithm for binding time analysis of a typed lambda-calculus with products, sums, lists, and general recursive types. Two-level lambda-calculus is introduced in order to handle the differences between binding times which come from the distinction between compile-time and run-time bindings. The results can be applied in the implementation of functional languages and of the languages defined by denotational definitions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107512$E26A9F51-712F-4C85-81E1-6DA604A16EEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107512$119926BE-C224-46F9-BDBC-A1740D5C20E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107512$90D6C1E6-557F-4E25-BEBF-1048A4DBC094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107512$5E60F8A7-C467-4EE8-A630-40B12ED01813","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dde2611128f5ffbf467c8da7c59cfe911d4700a4","datavalue":{"value":"4064956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107512$F44FD787-E558-4A84-9114-5F63CC9A2E2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107512$60E45684-5AA3-4DB4-A603-354FBD3D0037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5dd62bfdbbfd5f613796d0d6cd1f4f2ddddc5","datavalue":{"value":"implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107512$108E1666-B17D-4627-8B85-A1F338AE4EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107512$C4DC05C9-5856-486A-8370-6EF2B6151B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107512$6BBEDA81-05FD-41AE-AA0F-728A65D657DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec370a4399ac469c0dfdda15e15a820bcabf829b","datavalue":{"value":"binding time analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107512$E84A6D67-290C-4DF3-8B4B-7E2707C3DD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107512$2F71B737-5035-41BA-87CE-FDDBD61FF431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107512$3599B882-1C1C-4811-9D7D-D7ABCDB67339","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"828dfc38786d2049fd79af4c315ff0a16e6bc429","datavalue":{"value":{"entity-type":"item","numeric-id":1188836,"id":"Q1188836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107512$2832C5A3-72FE-4A4D-AC69-D8AA0AC10BDD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107512$DA518360-8E5E-4BF0-B804-7F4A174318E0","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":"Q1107512$0263093C-F862-4201-8F0B-F16692F21384","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae3d7338d102bfc1c9d81c05751fc256d8389430","datavalue":{"value":"https://doi.org/10.1016/0167-6423(88)90025-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1107512$4FC5C2FC-4955-44FA-96FD-A85C2F1DC571","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76a0de90ccf81138a97ac9635275f9e007610b0c","datavalue":{"value":"W2169611723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107512$4B5D1B72-A029-4D4D-B0CB-C94F6703B298","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ada50f79cea0bd2b6d66539895a5dd90ab71f6","datavalue":{"value":{"entity-type":"item","numeric-id":2061291,"id":"Q2061291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1652b7cf51d8fa5586b9e784e6e5185f0df1e2c","datavalue":{"value":{"amount":"+0.7915106415748596","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":"Q1107512$ECF803F6-36F8-4ECD-AAEE-FEF969E30E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb237b773a3b284869305eec2870fc2bbb23944","datavalue":{"value":{"entity-type":"item","numeric-id":4023587,"id":"Q4023587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecf6c99607c07390be50ff1c951ee025d686da9","datavalue":{"value":{"amount":"+0.7901224493980408","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":"Q1107512$A5BAD8A5-164D-4C51-A086-57256EC16968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316b59c0c8b8964f8837949e0be45fbabc01843e","datavalue":{"value":{"entity-type":"item","numeric-id":5096754,"id":"Q5096754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40eae1241ee4056053395a21b9c665821365f8b","datavalue":{"value":{"amount":"+0.771848738193512","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":"Q1107512$6DC7F0FF-72CD-48C1-B84D-6B1BDA0FD9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6774bbc39a5a2190d1e2d0460a9ea58b8f090bf2","datavalue":{"value":{"entity-type":"item","numeric-id":4038656,"id":"Q4038656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdebb6eba408a299b8217a531b06993e77ba174","datavalue":{"value":{"amount":"+0.7636044025421143","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":"Q1107512$6FBDBAF0-E9E1-4885-9908-585D39EA09E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c280e2b96ae269555ffd062d5c4f3b9b858d374","datavalue":{"value":{"entity-type":"item","numeric-id":1127514,"id":"Q1127514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdebb6eba408a299b8217a531b06993e77ba174","datavalue":{"value":{"amount":"+0.7636044025421143","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":"Q1107512$DAB59B13-CBF9-4DED-B5FD-37829CD43463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic binding time analysis for a typed \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_binding_time_analysis_for_a_typed_%5C(%5Clambda%5C)-calculus"}}}}}