{"entities":{"Q1098614":{"pageid":1109366,"ns":120,"title":"Item:Q1098614","lastrevid":66127041,"modified":"2026-04-12T07:43:48Z","type":"item","id":"Q1098614","labels":{"en":{"language":"en","value":"Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039259"}},"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":"Q1098614$A7621F1F-785B-480F-A63F-01991B40C553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be1e153b43dad6353c63aa536b4325fa98c1c924","datavalue":{"value":{"text":"Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098614$96A6EC09-A8D6-45E0-9FE4-995E8CF2D512","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"179d36d55ffea5078425c07c677b1edde4682e56","datavalue":{"value":"0637.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098614$5A812C12-3887-4E1E-BED5-B1536FB2CDE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd546d6647719a682a6b085e10932c836764ea38","datavalue":{"value":"10.1007/BF03037416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098614$83B27BB4-BF6B-4E4F-B658-22AE6FBC9711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc2dc96fcf8076e448d479ac51b4ccbc7738d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":756402,"id":"Q756402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098614$CA4DB710-743F-4406-9210-646E7C27AFAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098614$FE9F399D-1D2A-4279-9599-EF71A5174FC5","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":"Q1098614$312553C1-62B9-4E60-AC1A-E856DB153A2C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0ac806369e368e463f7a4248ad6c42ac6ff2134","datavalue":{"value":"Lambda-hoisting is a technique for transforming functional programs into ones suitable for fully lazy evaluation. The proposed method has a great advantage in generating efficient code for conventional computers. The basic idea of lambda-hoisting is described with remarks on similar techniques, and a simple algorithm is presented in a formal way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098614$E821069A-733F-442A-AF7B-8AD55AC179B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098614$E476B21F-3CC1-4989-9522-665E6E825085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098614$BFFCBC2E-B476-40B8-BE06-6397386A2E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098614$08A49237-CBAA-49ED-8335-816CA454A6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098614$D4945AD2-B9A2-482B-9362-CC4CC313E6F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6855c5d7de58fd5643aaeeb9988d84995004a6f0","datavalue":{"value":"4039259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098614$6765E981-35ED-4244-8FA9-7B02DB007023","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098614$EDC7CED1-2DD7-47C6-9D3F-272AFDE65B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c0103fb8dd46cb9d6a33e1f30da9313f077643f","datavalue":{"value":"Lambda-hoisting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098614$3A32D6A8-5727-4C09-88E6-832132542857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098614$909D5E6D-4784-484B-8047-0C49CAB65D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f011d5b5ccfa946a7f51993d193ab2f3dc8a8ba","datavalue":{"value":"fully lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098614$E036EA1D-9685-4E33-89C0-8E4C5F2F566D","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":"Q1098614$4A78E8A1-3FD0-4526-913A-6D2DF6D83483","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":"Q1098614$15C5A4BD-1309-4819-9EFD-E088DA1212AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97558af1147bf1da17aeb8d7f9212fe1000d9538","datavalue":{"value":{"entity-type":"item","numeric-id":3911367,"id":"Q3911367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098614$A6B33649-D0AE-4617-9F1D-43244E771504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098614$5AD0BFD3-FFC6-478E-B53D-1E463C738841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e036cb48b37a0cafe96d5a6bf3f3f6ac1308a9","datavalue":{"value":{"entity-type":"item","numeric-id":3685171,"id":"Q3685171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098614$3D32957F-0C4C-4C73-A624-B456F4A301E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098614$18DC5949-C331-4176-B11D-C994E2380983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f68e6f723ac70c9a6f742fc6f09d4ba80b0b64b","datavalue":{"value":{"entity-type":"item","numeric-id":1085965,"id":"Q1085965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098614$F9569B4F-B1DA-4215-918C-EEB50B9EAA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098614$80447CE5-588D-4970-831D-21E857AD8DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098614$FFE85881-EA30-4E63-821C-463B47C1BCE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fdbeef4bad43fa44b67657eb2dc1e79983d1c1","datavalue":{"value":{"entity-type":"item","numeric-id":4236760,"id":"Q4236760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27b8a42b0e08d859cf79a5a46956e25fd721147","datavalue":{"value":{"amount":"+0.89070857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098614$E11E9F30-5A08-4D5E-904B-7A199FF5AA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc11f67327686a9fba8db1679156961999e08c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1001354,"id":"Q1001354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e6bf7b6a5046cceb62b30c3dcd9b4a8c0af7c8","datavalue":{"value":{"amount":"+0.8833949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098614$04B166A9-853E-4D2D-B715-01FB3279AB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6edaa74c47ba961bb5c11468f15a7a8179a9fd3","datavalue":{"value":{"entity-type":"item","numeric-id":1892182,"id":"Q1892182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdff38d0f4752694fb2cbd9ef28fa691fad87194","datavalue":{"value":{"amount":"+0.88009036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098614$00885620-8E3E-4647-8211-6EB843468ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e6b63dedb3af9e19d0ce2c21b577ec9222db1a","datavalue":{"value":{"entity-type":"item","numeric-id":4311530,"id":"Q4311530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f68dfb35b8e545016495d7ee9bd63159f85ceb","datavalue":{"value":{"amount":"+0.8800024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098614$EDC27522-45CD-40C9-B097-3F565BC824DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35c753c6cb36d7150387f1443ac0bb7aa68ab05","datavalue":{"value":{"entity-type":"item","numeric-id":4035237,"id":"Q4035237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb3db93fe9939238a4664c2b9721f9a693d9f2a","datavalue":{"value":{"amount":"+0.8728149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098614$11565FF5-1E69-41FF-AB88-C0EBD76EF00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f87be45bb209f829e144ce3e4974e615cce1605","datavalue":{"value":{"entity-type":"item","numeric-id":3702505,"id":"Q3702505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399fbf1dfc50627a56052d1c490aaa7418da0b01","datavalue":{"value":{"amount":"+0.8690658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098614$47041566-08DA-4434-BC13-F5FAB57E54E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa6decd99dc7371790dca0be13cabfad7ab91fd","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed84fb440b614d4b7d9f5b1b70a4821dea9b583","datavalue":{"value":{"amount":"+0.86901927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098614$F4788220-ABE7-406A-A42F-FEC1D5864662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a15b8f5419752eaf1ff699f3837ab6807b571b3","datavalue":{"value":{"entity-type":"item","numeric-id":879358,"id":"Q879358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1897461c9bbf78bdcee516db3051c9c1414627c4","datavalue":{"value":{"amount":"+0.8686251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098614$E3AD6D2F-CB23-4408-991A-A61340DD8F46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lambda-hoisting:_A_transformation_technique_for_fully_lazy_evaluation_of_functional_programs"}}}}}