{"id":"https://openalex.org/W2012098881","doi":"https://doi.org/10.1145/2370776.2370793","title":"Transparent function types","display_name":"Transparent function types","publication_year":2012,"publication_date":"2012-09-19","ids":{"openalex":"https://openalex.org/W2012098881","doi":"https://doi.org/10.1145/2370776.2370793","mag":"2012098881"},"language":"en","primary_location":{"id":"doi:10.1145/2370776.2370793","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2370776.2370793","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th symposium on Principles and practice of declarative programming","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/A5028123043","display_name":"Enrique Martin-Martin","orcid":"https://orcid.org/0000-0002-1664-018X"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Enrique Martin-Martin","raw_affiliation_strings":["Universidad Complutense de Madrid, Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Complutense de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024844226","display_name":"Juan Rodr\u00edguez-Hortal\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan Rodr\u00edguez-Hortal\u00e1","raw_affiliation_strings":["Universidad Complutense de Madrid, Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Complutense de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121748325"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"127","last_page":"138"},"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.9998000264167786,"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.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9973000288009644,"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.9958000183105469,"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/functional-programming","display_name":"Functional programming","score":0.7167085409164429},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6892673969268799},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.6566036343574524},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.6477910280227661},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6124538779258728},{"id":"https://openalex.org/keywords/opacity","display_name":"Opacity","score":0.47921234369277954},{"id":"https://openalex.org/keywords/dependent-type","display_name":"Dependent type","score":0.45307019352912903},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.44664981961250305},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4304017126560211},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4005948007106781},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.20604532957077026}],"concepts":[{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.7167085409164429},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6892673969268799},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6566036343574524},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.6477910280227661},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6124538779258728},{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.47921234369277954},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.45307019352912903},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.44664981961250305},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4304017126560211},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4005948007106781},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.20604532957077026},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2370776.2370793","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2370776.2370793","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th symposium on Principles and practice of declarative programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W78995489","https://openalex.org/W146856174","https://openalex.org/W161961141","https://openalex.org/W326743114","https://openalex.org/W1508237628","https://openalex.org/W1512480360","https://openalex.org/W1522154830","https://openalex.org/W1534348627","https://openalex.org/W1539487186","https://openalex.org/W1595019512","https://openalex.org/W1607765774","https://openalex.org/W1827100046","https://openalex.org/W1977760557","https://openalex.org/W2018057519","https://openalex.org/W2030663607","https://openalex.org/W2057292961","https://openalex.org/W2063521547","https://openalex.org/W2069822809","https://openalex.org/W2104204098","https://openalex.org/W2105144754","https://openalex.org/W2112150205","https://openalex.org/W2112774031","https://openalex.org/W2127844749","https://openalex.org/W2137198597","https://openalex.org/W2163976959","https://openalex.org/W2970113856","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2340858455","https://openalex.org/W3021962464","https://openalex.org/W2003295197","https://openalex.org/W4233224599","https://openalex.org/W2157073125","https://openalex.org/W2053824427","https://openalex.org/W1479802504","https://openalex.org/W2095693131","https://openalex.org/W2166753208","https://openalex.org/W2007634635"],"abstract_inverted_index":{"Functional":[0],"logic":[1,17],"programming":[2,15],"(FLP)":[3],"is":[4,37,100],"a":[5,29,96],"paradigm":[6],"that":[7,39,55,84,99],"comes":[8],"from":[9,163],"the":[10,47,67,104,112,117,120,126,129,139,145],"integration":[11],"of":[12,28,32,69,119,128,141,158,166],"lazy":[13],"functional":[14,130],"and":[16,111,154],"programming.":[18],"Although":[19],"most":[20],"FLP":[21,41],"systems":[22,150],"use":[23],"static":[24],"typing":[25],"by":[26,60,108,115],"means":[27],"direct":[30],"adaptation":[31],"Damas-Milner":[33,61],"type":[34,62,70,121,149,161],"system,":[35,63],"it":[36],"well-known":[38],"some":[40],"features":[42],"like":[43],"higher-order":[44],"patterns":[45,83,110],"or":[46,87],"equality":[48,113],"operator":[49,114],"lead":[50],"to":[51,66],"so-called":[52],"opacity":[53,106],"situations":[54],"are":[56,85],"not":[57],"properly":[58],"handled":[59],"thus":[64],"leading":[65],"loss":[68],"preservation.":[71],"Previous":[72],"works":[73],"have":[74,151],"addressed":[75],"this":[76,92],"problem":[77],"either":[78],"directly":[79],"forbidding":[80],"those":[81],"HO":[82,109],"opaque":[86],"restricting":[88],"its":[89],"use.":[90],"In":[91],"paper":[93],"we":[94],"propose":[95],"new":[97],"approach":[98],"based":[101],"on":[102],"eliminating":[103],"unintended":[105],"created":[107],"extending":[116],"expressiveness":[118],"language":[122],"with":[123],"decorations":[124],"in":[125,138,144],"arrows":[127],"types.":[131],"We":[132],"study":[133],"diverse":[134],"possibilities,":[135],"which":[136],"differ":[137],"amount":[140],"information":[142],"included":[143],"decorations.":[146],"The":[147],"obtained":[148],"different":[152],"properties":[153],"expressiveness,":[155],"but":[156],"each":[157],"them":[159],"recovers":[160],"preservation":[162],"simple":[164],"extensions":[165],"Damas-Milner.":[167]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}