{"id":"https://openalex.org/W66113185","doi":null,"title":"High-level abstractions for parallel functional programming","display_name":"High-level abstractions for parallel functional programming","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W66113185","mag":"66113185"},"language":"en","primary_location":{"id":"mag:66113185","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=925038","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113456823","display_name":"Paul Hudak","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paul Hudak","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5048855355","display_name":"Rajiv Mirani","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rajiv Mirani","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9082000255584717,"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.9082000255584717,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.08380000293254852,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.0012000000569969416,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/parallel-functional-programming","display_name":"parallel functional programming","score":0.9319999814033508},{"id":"https://openalex.org/keywords/monads","display_name":"monads","score":0.7559999823570251},{"id":"https://openalex.org/keywords/referential-transparency","display_name":"referential transparency","score":0.7789999842643738},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.6000000238418579}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8739961981773376},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.7998462915420532},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7074331045150757},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6410098671913147},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.6049845814704895},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.528806209564209},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.47977644205093384},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.4436037242412567},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43399906158447266},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.424588143825531},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.41703522205352783},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3231326937675476},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16724032163619995},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10059419274330139},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:66113185","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=925038","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2078213398","https://openalex.org/W7099035809","https://openalex.org/W7097517220","https://openalex.org/W2028284842","https://openalex.org/W3105968930","https://openalex.org/W2164393220","https://openalex.org/W4248901744","https://openalex.org/W7098455633","https://openalex.org/W1548837038","https://openalex.org/W7096358645"],"abstract_inverted_index":{"Explicitly":[0],"parallel":[1,12,63],"functional":[2],"languages":[3],"typically":[4],"use":[5],"meta-linguistic":[6],"annotations":[7],"to":[8,22,55,78,85,97,108,112,146,179],"provide":[9],"control":[10,23],"over":[11,44],"evaluation.":[13],"In":[14],"this":[15,141],"dissertation":[16],"we":[17,53,75,116,153],"explore":[18],"more":[19],"flexible":[20],"mechanisms":[21],"when":[24],"and":[25,33],"where":[26],"an":[27,118,181],"expression":[28],"is":[29,48,126,201],"evaluated:":[30],"first-class":[31,42],"schedules":[32],"processors.":[34],"We":[35,90,138],"discuss":[36],"the":[37,50,59,67,71,80,129,194],"advantages":[38],"of":[39,62,70,131,151,167,183,193],"using":[40],"such":[41,159],"objects":[43],"traditional":[45],"annotation-based":[46],"systems.\r\nIt":[47],"often":[49],"case":[51],"that":[52,186],"wish":[54],"make":[56],"decisions":[57],"about":[58,114],"operational":[60,119],"behavior":[61],"programs":[64],"depending":[65],"on":[66,128,204],"dynamic":[68,99],"state":[69],"system.":[72,198],"For":[73],"example":[74],"may":[76,161],"want":[77],"measure":[79],"system":[81,100],"load":[82],"before":[83],"deciding":[84],"evaluate":[86],"expressions":[87],"in":[88,102],"parallel.":[89],"show":[91,139],"how":[92,140,155],"monads":[93],"can":[94,143],"be":[95,144,162],"used":[96,145,178],"access":[98],"parameters":[101],"a":[103,110,132,156,165,190,205],"referentially":[104],"transparent":[105],"manner":[106],"(up":[107],"termination).\r\nAs":[109],"mechanism":[111],"reason":[113],"schedules,":[115],"present":[117],"semantics":[120,125,142],"describing":[121],"their":[122],"behavior.":[123],"This":[124],"based":[127],"notion":[130],"partially":[133],"ordered":[134],"multiset":[135],"or":[136],"pomset.":[137],"prove":[147],"certain":[148],"algebraic":[149],"properties":[150],"schedules.\r\nFinally,":[152],"describe":[154],"language":[157],"with":[158,170],"constructs":[160],"compiled":[163],"into":[164],"dialect":[166],"Scheme":[168],"extended":[169],"futures.":[171],"The":[172,199],"techniques":[173],"proposed":[174],"here":[175],"have":[176],"been":[177],"produce":[180],"implementation":[182,200],"para-functional":[184],"Haskell":[185],"generates":[187],"code":[188],"for":[189],"modified":[191],"version":[192],"S":[195],"scTING":[196],"operating":[197],"currently":[202],"running":[203],"16-processor":[206],"Silicon":[207],"Graphics":[208],"Challenge":[209],"multiprocessor.":[210]},"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}