{"entities":{"Q43944":{"pageid":44000,"ns":120,"title":"Item:Q43944","lastrevid":105428381,"modified":"2026-10-09T10:09:42Z","type":"item","id":"Q43944","labels":{"en":{"language":"en","value":"Call_Arity"}},"descriptions":{"en":{"language":"en","value":"AFP entry Call_Arity"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"909512b7447ae9e368fbf637ea2fd7d5a66516af","datavalue":{"value":"32233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43944$1D158C9E-8BB1-44BE-847A-CBB06DB1A1FB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$3020AFF3-F6E6-42BA-B28A-E60D0BAFA25E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"6262d510916458ebab8fb10473cbe230d7624110","datavalue":{"value":"https://www.isa-afp.org/entries/Call_Arity.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43944$4A6B0250-61A0-462F-9835-53E7C3594662","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43944$E9BD6574-B15B-4D30-87A4-9FD3B3A4EE1E","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$AA53ADC9-B57A-4F3F-B78D-AE3D6EF20C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"71d11f427507dbc25c8e2290a2de752b45a4c105","datavalue":{"value":{"entity-type":"item","numeric-id":40966,"id":"Q40966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$99E34C62-3821-4A96-9F92-A3F92D2EEC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$A2A19717-0604-4201-A3D0-71635BB943F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"acf5d0da134f7563af94342a3a34b9ca28cd59db","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$2FFE6403-BE19-4D1F-85A2-E4F02967EE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$208070AB-EDAB-4DB0-962D-0A4783AA53CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$F7852F56-2F2F-48A0-965E-840E4376F4A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2da580ab35063261dbba43ab3c7562b04c748aef","datavalue":{"value":"https://isa-afp.org/entries/Call_Arity.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43944$58CC233C-8159-4BBA-ACEB-C267DC341668","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"2979132c44ec8ddf771d8270d088441363a82493","datavalue":{"value":"Joachim Breitner","type":"string"},"datatype":"string"},"type":"statement","id":"Q43944$6E7068BF-795F-49C3-A312-0536F9E9B69B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed1c68e6afe6191b8e1d61062ea2d864165f0e3f","datavalue":{"value":"We formalize the Call Arity analysis, as implemented in GHC, and prove both functional correctness and, more interestingly, safety (i.e. the transformation does not increase allocation). We use syntax and the denotational semantics from the entry \"Launchbury\", where we formalized Launchbury's natural semantics for lazy evaluation. The functional correctness of Call Arity is proved with regard to that denotational semantics. The operational properties are shown with regard to a small-step semantics akin to Sestoft's mark 1 machine, which we prove to be equivalent to Launchbury's semantics. We use Christian Urban's Nominal2 package to define our terms and make use of Brian Huffman's HOLCF package for the domain-theoretical aspects of the development.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43944$881AF886-C7A0-48CB-801B-336C8F9B28B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$4BD9C92A-107C-412E-BD5A-C612DECA7E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0427c69f159521944b9ab12491f6e0354b0669","datavalue":{"value":{"entity-type":"item","numeric-id":3455082,"id":"Q3455082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$3280DF23-B19B-44BB-99F1-CEEA2BE8B005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd99188fec5a03ca1254d67b0f4f830cf630ffea","datavalue":{"value":{"entity-type":"item","numeric-id":3648355,"id":"Q3648355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$15F6A4E9-429E-461D-9A0D-EBACA37A2165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d109eb74d0492df4bac35af9cad48f2c4cd784a1","datavalue":{"value":{"entity-type":"item","numeric-id":2915102,"id":"Q2915102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$F56E24A6-2F6D-4057-87E2-217127AE4DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d4a2aad4cebbcfa646c9c5d2e3fb1738d09daf","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$85187018-B6BF-4E02-B5EB-AE499DAD5B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ccc72b985f5b63d7bda2fc930c55fc8251f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":2943366,"id":"Q2943366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$5A6DB244-9F54-41FE-B62C-CFF64BEBA36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b1ce6c7c55e134225781cab112803b76b1488","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$BC93A54D-165E-4E2A-BA6F-9397A5BA42E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cec16c0ef5fe50943c64ee4e5ad8973edb5fb2ee","datavalue":{"value":{"time":"+2015-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43944$FDF181B4-DA93-466E-A8A7-91FE57B2E01D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c96fc95693a75816b0f8f047b937f55c0ecc3970","datavalue":{"value":{"text":"The Safety of Call Arity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43944$1789593B-A5D7-4C62-9849-5AB300D11778","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$5DCC26EC-74EB-49DD-A823-CDBB84482D6A","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"903af42e3c3453994966daa1cc9fac6402270ac6","datavalue":{"value":{"entity-type":"item","numeric-id":7361884,"id":"Q7361884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$365B5B79-76F4-437E-AEFB-2E319A473BC4","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"b721b89857a714d14089f2631e7d6953fb3d481c","datavalue":{"value":{"entity-type":"item","numeric-id":7360799,"id":"Q7360799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43944$4C0349CA-66AC-4BD6-AE8F-7A516229F2F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Call Arity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Call_Arity"}}}}}