{"id":"https://openalex.org/W2123210043","doi":"https://doi.org/10.1145/2636228.2636232","title":"An efficient representation for lazy constructors using 64-bit pointers","display_name":"An efficient representation for lazy constructors using 64-bit pointers","publication_year":2014,"publication_date":"2014-09-03","ids":{"openalex":"https://openalex.org/W2123210043","doi":"https://doi.org/10.1145/2636228.2636232","mag":"2123210043"},"language":"en","primary_location":{"id":"doi:10.1145/2636228.2636232","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2636228.2636232","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"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/A5068958757","display_name":"Georgios Fourtounis","orcid":null},"institutions":[{"id":"https://openalex.org/I174458059","display_name":"National Technical University of Athens","ror":"https://ror.org/03cx6bg69","country_code":"GR","type":"education","lineage":["https://openalex.org/I174458059"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Georgios Fourtounis","raw_affiliation_strings":["National Technical University of Athens, Athens, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Technical University of Athens, Athens, Greece","institution_ids":["https://openalex.org/I174458059"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044248894","display_name":"Nikolaos Papaspyrou","orcid":"https://orcid.org/0000-0002-1934-7181"},"institutions":[{"id":"https://openalex.org/I174458059","display_name":"National Technical University of Athens","ror":"https://ror.org/03cx6bg69","country_code":"GR","type":"education","lineage":["https://openalex.org/I174458059"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Nikolaos Papaspyrou","raw_affiliation_strings":["National Technical University of Athens, Athens, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Technical University of Athens, Athens, Greece","institution_ids":["https://openalex.org/I174458059"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I174458059"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17107715,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"23","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8911725282669067},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.8239004611968994},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7530338168144226},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6895939111709595},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6150155663490295},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.574376106262207},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.48812636733055115},{"id":"https://openalex.org/keywords/register-allocation","display_name":"Register allocation","score":0.47778186202049255},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.44501882791519165},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3583967089653015},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3526283800601959},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.3357812166213989}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8911725282669067},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.8239004611968994},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7530338168144226},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6895939111709595},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6150155663490295},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.574376106262207},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.48812636733055115},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.47778186202049255},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.44501882791519165},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3583967089653015},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3526283800601959},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.3357812166213989},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2636228.2636232","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2636228.2636232","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5857912941","display_name":null,"funder_award_id":"MIS 380153","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"}],"funders":[{"id":"https://openalex.org/F4320321038","display_name":"Fonds National de la Recherche Luxembourg","ror":"https://ror.org/039z13y21"},{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W73121609","https://openalex.org/W135379672","https://openalex.org/W1491178396","https://openalex.org/W1515115150","https://openalex.org/W1524744826","https://openalex.org/W1543830735","https://openalex.org/W1548802270","https://openalex.org/W1553881800","https://openalex.org/W1556536463","https://openalex.org/W1589156006","https://openalex.org/W1612624539","https://openalex.org/W1651122320","https://openalex.org/W1770006921","https://openalex.org/W1972151859","https://openalex.org/W1979203594","https://openalex.org/W1980256480","https://openalex.org/W1983096721","https://openalex.org/W1987981153","https://openalex.org/W2019000194","https://openalex.org/W2026557621","https://openalex.org/W2032688435","https://openalex.org/W2039085252","https://openalex.org/W2045821994","https://openalex.org/W2058821858","https://openalex.org/W2095621310","https://openalex.org/W2104117376","https://openalex.org/W2117848302","https://openalex.org/W2120708837","https://openalex.org/W2129566109","https://openalex.org/W2139156407","https://openalex.org/W2139626883","https://openalex.org/W2143319781","https://openalex.org/W2171830489","https://openalex.org/W2188942574","https://openalex.org/W2212488422","https://openalex.org/W2247238233","https://openalex.org/W2560476913","https://openalex.org/W4214634385","https://openalex.org/W4233648325","https://openalex.org/W4234825413","https://openalex.org/W4255842521","https://openalex.org/W4292169167"],"related_works":["https://openalex.org/W2046806568","https://openalex.org/W2112263414","https://openalex.org/W3004782279","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W2371266106","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2129253059","https://openalex.org/W2090337950"],"abstract_inverted_index":{"Pointers":[0],"in":[1,21,45],"the":[2,48],"AMD64":[3],"architecture":[4],"contain":[5],"unused":[6],"space,":[7],"a":[8,22,26,34],"feature":[9],"often":[10],"exploited":[11],"by":[12],"modern":[13],"programming":[14],"language":[15],"implementations.":[16],"We":[17,42],"use":[18],"this":[19],"property":[20],"defunctionalizing":[23],"compiler":[24],"for":[25],"subset":[27],"of":[28,38],"Haskell,":[29],"generating":[30],"fast":[31],"programs":[32],"having":[33],"compact":[35,49],"memory":[36,55],"representation":[37,50],"their":[39],"runtime":[40],"structures.":[41],"demonstrate":[43],"that,":[44],"most":[46],"cases,":[47],"is":[51],"faster,":[52],"uses":[53],"less":[54],"and":[56],"has":[57],"better":[58],"cache":[59],"characteristics.":[60],"Our":[61],"prototype":[62],"shows":[63],"competitive":[64],"performance":[65],"when":[66],"compared":[67],"to":[68],"GHC":[69],"with":[70],"full":[71],"optimizations":[72],"on.":[73]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}