{"id":"https://openalex.org/W2004058190","doi":"https://doi.org/10.1145/234528.234736","title":"Imperative functional programming","display_name":"Imperative functional programming","publication_year":1996,"publication_date":"1996-06-01","ids":{"openalex":"https://openalex.org/W2004058190","doi":"https://doi.org/10.1145/234528.234736","mag":"2004058190"},"language":"en","primary_location":{"id":"doi:10.1145/234528.234736","doi":"https://doi.org/10.1145/234528.234736","is_oa":true,"landing_page_url":"https://doi.org/10.1145/234528.234736","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/234528.234736","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-a","jufo-3","ki-jl-2","norway-2","poland-200","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/234528.234736","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109514602","display_name":"Uday S. Reddy","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"U. S. Reddy","raw_affiliation_strings":["Univ. of Illinois at Urbana-Champaign, Urbana","University of Illinois at Urbana-Champaign Urbana"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Illinois at Urbana-Champaign, Urbana","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana-Champaign Urbana","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109514602"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":6.2693,"has_fulltext":true,"cited_by_count":38,"citation_normalized_percentile":{"value":0.96137738,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":95},"biblio":{"volume":"28","issue":"2","first_page":"312","last_page":"314"},"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.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10533","display_name":"Teaching and Learning Programming","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":9.999999747378752e-05,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/referential-transparency","display_name":"referential transparency","score":0.8019999861717224},{"id":"https://openalex.org/keywords/functional-programming-languages","display_name":"functional programming languages","score":0.4569999873638153}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.828131914138794},{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.7872646450996399},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.41279250383377075}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/234528.234736","doi":"https://doi.org/10.1145/234528.234736","is_oa":true,"landing_page_url":"https://doi.org/10.1145/234528.234736","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/234528.234736","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-a","jufo-3","ki-jl-2","norway-2","poland-200","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.260.697","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.260.697","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.bham.ac.uk/%7Eudr/papers/imperative-functional.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/234528.234736","doi":"https://doi.org/10.1145/234528.234736","is_oa":true,"landing_page_url":"https://doi.org/10.1145/234528.234736","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/234528.234736","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-a","jufo-3","ki-jl-2","norway-2","poland-200","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2004058190.pdf","grobid_xml":"https://content.openalex.org/works/W2004058190.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1488880065","https://openalex.org/W1532487911","https://openalex.org/W1544662935","https://openalex.org/W1595465781","https://openalex.org/W1997143185","https://openalex.org/W2037984920","https://openalex.org/W2056634143","https://openalex.org/W2074674709","https://openalex.org/W2089674328","https://openalex.org/W2130404229","https://openalex.org/W2146243933","https://openalex.org/W4212770529","https://openalex.org/W4251558097"],"related_works":["https://openalex.org/W2475825068","https://openalex.org/W579638830","https://openalex.org/W1980070630","https://openalex.org/W2048921878","https://openalex.org/W355010019","https://openalex.org/W7220820897","https://openalex.org/W4232821472","https://openalex.org/W2492740688","https://openalex.org/W1538361669","https://openalex.org/W85193704"],"abstract_inverted_index":{"Our":[0],"intuitive":[1],"idea":[2,48,219],"of":[3,12,24,49,66,113,132,197,252,302],"a":[4,133,137,173,195,248,261,266,270,273,275,276,282,293,295,297,330],"function":[5,134],"is":[6,18,52,110,157,177,224],"that":[7,53,136,160,220,251],"it":[8,141,246],"describes":[9],"the":[10,74,78,111,148,198,227,303,326],"dependence":[11,65],"one":[13,95],"quantity":[14,96],"upon":[15],"another.":[16],"There":[17],"no":[19],"condition":[20],"on":[21,68],"what":[22],"kind":[23],"quantities":[25],"are":[26,45,55,81,104,121,166,209,314,321],"involved.":[27],"They":[28,320],"could":[29],"be":[30,87,143,152],"integers,":[31],"Turing":[32],"machines,":[33],"binary":[34],"search":[35],"trees,":[36],"window":[37],"hierarchies,":[38],"digital":[39],"circuits":[40],"or":[41,93,214],"whatever.":[42],"The":[43,47,218,307,310],"possibilities":[44],"endless.":[46],"functional":[50,108,164,174,216,232,238],"programming":[51,109,165,175,233],"functions":[54,67,70,101,125,221],"described":[56],"applicatively,":[57],"by":[58,212],"plugging":[59],"together":[60,211],"other":[61,69],"functions.":[62],"This":[63],"recursive":[64],"bottoms":[71],"out":[72,146],"with":[73],"primitive":[75,79,304],"operators.":[76],"If":[77],"operators":[80,305],"\u201ceffective,":[82],"\u201d":[83,184],"i.e.,":[84],"they":[85],"can":[86,142,151],"used":[88],"to":[89,116,172,179,247],"calculate,":[90],"compute,":[91],"construct":[92],"build":[94],"from":[97,140,316],"another,":[98],"then":[99],"all":[100],"expressed":[102],"applicatively":[103],"similarly":[105],"effective.":[106],"Imperative":[107],"application":[112],"these":[114],"ideas":[115],"imperative":[117,122,129,161,170,207,231,253,308,312,318],"computations.":[118,130],"Quantities":[119],"here":[120],"computations":[123,150,162,171,208,313],"and":[124,163,328],"denote":[126,222],"dependences":[127,223],"between":[128],"Effectiveness":[131],"means":[135],"computation":[138,239],"produced":[139],"effectively":[144,153],"carried":[145,154],"whenever":[147],"input":[149],"out.":[155],"It":[156,243],"often":[158],"felt":[159],"in":[167,201,226,240],"conflict.":[168],"Adding":[169],"language":[176],"found":[178],"destroy":[180],"its":[181],"\u201creferential":[182],"transparency.":[183],"See,":[185],"for":[186,194],"example,":[187],"[Abelson":[188],"et":[189],"al.,":[190],"1985,":[191],"Sec.":[192],"3.1]":[193],"discussion":[196],"issue.":[199],"However,":[200],"languages":[202],"where":[203],"such":[204],"issues":[205],"arise,":[206],"thrown":[210],"extending":[213],"modifying":[215],"computation.":[217],"lost":[225],"process.":[228],"In":[229],"contrast,":[230],"does":[234],"not":[235],"involve":[236],"altering":[237],"any":[241],"way.":[242],"merely":[244],"applies":[245],"new":[249],"context,":[250],"compu-1":[254],"(a":[255],"+":[256,258,262,264,267,272,277,281],"b)":[257],"c":[259,285],"=":[260,269,274,279,286,292,296],"(b":[263],"c)":[265,289],"0":[268,271],"b":[278,280],"(a;":[283],"b);":[284],"a;":[287,290],"(b;":[288],"skip":[291],"skip;":[294],"Table":[298],"1:":[299],"Equational":[300],"properties":[301],"tations.":[306],"base":[309],"basic":[311],"familiar":[315],"vanilla":[317],"programming.":[319],"\u2022":[322],"expressions,":[323],"which":[324],"read":[325],"state":[327],"compute":[329],"value":[331],"(\u201cstate":[332],"readers\u201d),":[333]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}