{"id":"https://openalex.org/W2118482372","doi":"https://doi.org/10.1017/s0956796800001878","title":"Representing demand by partial projections","display_name":"Representing demand by partial projections","publication_year":1996,"publication_date":"1996-07-01","ids":{"openalex":"https://openalex.org/W2118482372","doi":"https://doi.org/10.1017/s0956796800001878","mag":"2118482372"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796800001878","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796800001878","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DE6A25A1F8220AB06C0C6A7A8BD3F39B/S0956796800001878a.pdf/div-class-title-representing-demand-by-partial-projections-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DE6A25A1F8220AB06C0C6A7A8BD3F39B/S0956796800001878a.pdf/div-class-title-representing-demand-by-partial-projections-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087115618","display_name":"John Launchbury","orcid":null},"institutions":[{"id":"https://openalex.org/I1322437667","display_name":"Oregon Research Institute","ror":"https://ror.org/05j91v252","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1322437667"]},{"id":"https://openalex.org/I165690674","display_name":"Oregon Health & Science University","ror":"https://ror.org/009avj582","country_code":"US","type":"education","lineage":["https://openalex.org/I165690674"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"John Launchbury","raw_affiliation_strings":["Oregon Graduate Institute, and Glasgow University (e-mail:","Oregon Graduate Institute, and Glasgow University ("],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oregon Graduate Institute, and Glasgow University (e-mail:","institution_ids":["https://openalex.org/I1322437667"]},{"raw_affiliation_string":"Oregon Graduate Institute, and Glasgow University (","institution_ids":["https://openalex.org/I165690674"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075273902","display_name":"Gebreselassie Baraki","orcid":null},"institutions":[{"id":"https://openalex.org/I1322437667","display_name":"Oregon Research Institute","ror":"https://ror.org/05j91v252","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1322437667"]},{"id":"https://openalex.org/I165690674","display_name":"Oregon Health & Science University","ror":"https://ror.org/009avj582","country_code":"US","type":"education","lineage":["https://openalex.org/I165690674"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gebreselassie Baraki","raw_affiliation_strings":["Oregon Graduate Institute, and Glasgow University (e-mail:","Oregon Graduate Institute, and Glasgow University ("],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oregon Graduate Institute, and Glasgow University (e-mail:","institution_ids":["https://openalex.org/I1322437667"]},{"raw_affiliation_string":"Oregon Graduate Institute, and Glasgow University (","institution_ids":["https://openalex.org/I165690674"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5087115618"],"corresponding_institution_ids":["https://openalex.org/I1322437667","https://openalex.org/I165690674"],"apc_list":null,"apc_paid":null,"fwci":1.1391,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84434832,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"6","issue":"4","first_page":"563","last_page":"585"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9785000085830688,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.8565458059310913},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8193826675415039},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.6252256035804749},{"id":"https://openalex.org/keywords/projection-method","display_name":"Projection method","score":0.4415074586868286},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35060614347457886},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2893010973930359},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.24824094772338867}],"concepts":[{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.8565458059310913},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8193826675415039},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.6252256035804749},{"id":"https://openalex.org/C65557600","wikidata":"https://www.wikidata.org/wiki/Q7249451","display_name":"Projection method","level":3,"score":0.4415074586868286},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35060614347457886},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2893010973930359},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.24824094772338867},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0956796800001878","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796800001878","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DE6A25A1F8220AB06C0C6A7A8BD3F39B/S0956796800001878a.pdf/div-class-title-representing-demand-by-partial-projections-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.30.9245","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.9245","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cse.ogi.edu/~jl/Papers/jfp.ps","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1017/s0956796800001878","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796800001878","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DE6A25A1F8220AB06C0C6A7A8BD3F39B/S0956796800001878a.pdf/div-class-title-representing-demand-by-partial-projections-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.47999998927116394}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320337","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2118482372.pdf","grobid_xml":"https://content.openalex.org/works/W2118482372.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W130766217","https://openalex.org/W146427529","https://openalex.org/W172004165","https://openalex.org/W253372498","https://openalex.org/W1597497095","https://openalex.org/W1966403563","https://openalex.org/W2020530016","https://openalex.org/W2025033165","https://openalex.org/W2040479609","https://openalex.org/W2145969019","https://openalex.org/W2914693551","https://openalex.org/W3010395918","https://openalex.org/W3161361687","https://openalex.org/W4230977899"],"related_works":["https://openalex.org/W2393270639","https://openalex.org/W774881382","https://openalex.org/W2617963432","https://openalex.org/W2033390858","https://openalex.org/W2899022965","https://openalex.org/W2392770728","https://openalex.org/W2615976479","https://openalex.org/W3149161931","https://openalex.org/W2774026033","https://openalex.org/W2296570413"],"abstract_inverted_index":{"Abstract":[0],"The":[1,22],"projection-based":[2],"strictness":[3],"analysis":[4,29,43,60],"of":[5,66,77,83,95,98,106],"Wadler":[6],"and":[7,11,24,44,91],"Hughes":[8],"is":[9,30],"elegant":[10],"theoretically":[12],"satisfying":[13],"except":[14],"in":[15,64],"one":[16],"respect:":[17],"the":[18,28,58,78,80,87,92,96,99,104],"need":[19,32],"for":[20],"lifting.":[21],"domains":[23],"functions":[25],"over":[26],"which":[27],"performed":[31],"to":[33,37],"be":[34,48,62],"transformed,":[35],"leading":[36],"a":[38],"less":[39],"direct":[40],"correspondence":[41],"between":[42],"program":[45],"than":[46],"might":[47],"hoped":[49],"for.":[50],"In":[51],"this":[52,71],"paper":[53],"we":[54],"shall":[55],"see":[56],"that":[57],"projection":[59,88,100],"may":[61],"reformulated":[63],"terms":[65],"partial":[67],"projections,":[68],"so":[69],"removing":[70],"infelicity.":[72],"There":[73],"are":[74,89],"additional":[75],"benefits":[76],"formulation:":[79],"two":[81],"forms":[82],"information":[84],"captured":[85],"by":[86],"distinguished,":[90],"operational":[93],"significance":[94],"range":[97],"fits":[101],"exactly":[102],"with":[103],"theory":[105],"unboxed":[107],"types.":[108]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-27T06:14:07.914337","created_date":"2025-10-10T00:00:00"}