{"id":"https://openalex.org/W2509681955","doi":"https://doi.org/10.1145/2976022.2976023","title":"APLicative programming with Naperian functors (extended abstract)","display_name":"APLicative programming with Naperian functors (extended abstract)","publication_year":2016,"publication_date":"2016-08-26","ids":{"openalex":"https://openalex.org/W2509681955","doi":"https://doi.org/10.1145/2976022.2976023","mag":"2509681955"},"language":"en","primary_location":{"id":"doi:10.1145/2976022.2976023","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2976022.2976023","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Workshop on Type-Driven Development","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/A5086558126","display_name":"Jeremy Gibbons","orcid":"https://orcid.org/0000-0002-8426-9917"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jeremy Gibbons","raw_affiliation_strings":["University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5086558126"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":0.5824,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.67786613,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"13","last_page":"14"},"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.9995999932289124,"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.9995999932289124,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9819999933242798,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9781000018119812,"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/functor","display_name":"Functor","score":0.7602119445800781},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.7259365320205688},{"id":"https://openalex.org/keywords/generic-programming","display_name":"Generic programming","score":0.6918585300445557},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6551511287689209},{"id":"https://openalex.org/keywords/pointwise","display_name":"Pointwise","score":0.6546972393989563},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49248775839805603},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.4818900227546692},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.47759246826171875},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.47231221199035645},{"id":"https://openalex.org/keywords/scalar","display_name":"Scalar (mathematics)","score":0.41368114948272705},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3497290015220642},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3125755190849304},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2347741425037384},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.08666661381721497}],"concepts":[{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.7602119445800781},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.7259365320205688},{"id":"https://openalex.org/C7051814","wikidata":"https://www.wikidata.org/wiki/Q1051282","display_name":"Generic programming","level":2,"score":0.6918585300445557},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6551511287689209},{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.6546972393989563},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49248775839805603},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.4818900227546692},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.47759246826171875},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.47231221199035645},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.41368114948272705},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3497290015220642},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3125755190849304},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2347741425037384},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.08666661381721497},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2976022.2976023","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2976022.2976023","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Workshop on Type-Driven Development","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2022461531","display_name":null,"funder_award_id":"EP/K020919/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2780159930","display_name":"A Theory of Least Change for Bidirectional Transformations","funder_award_id":"EP/K020919/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1019939734","https://openalex.org/W2020580827","https://openalex.org/W2028880435","https://openalex.org/W2148599839"],"related_works":["https://openalex.org/W1911419940","https://openalex.org/W2466718051","https://openalex.org/W2373472360","https://openalex.org/W2995031344","https://openalex.org/W154014553","https://openalex.org/W2913635267","https://openalex.org/W1564538666","https://openalex.org/W2526970984","https://openalex.org/W1528956417","https://openalex.org/W1599215552"],"abstract_inverted_index":{"A":[0],"lot":[1],"of":[2,6,20,37,58,153,160],"the":[3,110,144,151],"expressive":[4,120],"power":[5],"array-oriented":[7,97],"languages":[8],"such":[9,61,75,103],"as":[10,62,123],"Iverson's":[11],"APL":[12,68],"and":[13,69,129],"J":[14,70],"comes":[15],"from":[16],"their":[17],"implicit":[18],"lifting":[19],"scalar":[21],"operations":[22],"to":[23,30,34,41,53,55,141,172],"act":[24],"on":[25],"higher-ranked":[26],"data,":[27],"for":[28,95,125],"example":[29,126],"add":[31,42],"a":[32,38,50,63,66,90,104,158],"value":[33],"each":[35],"element":[36],"vector,":[39],"or":[40],"two":[43],"compatible":[44],"matrices":[45],"pointwise.":[46],"But":[47],"it":[48],"is":[49,108,156],"shape":[51,76],"error":[52],"attempt":[54],"combine":[56],"arguments":[57],"incompatible":[59],"shape,":[60],"3-vector":[64],"with":[65,168],"4-vector.":[67],"are":[71,78],"dynamically":[72],"typed,":[73],"so":[74],"errors":[77],"caught":[79],"only":[80],"at":[81],"run-time.":[82],"Recent":[83],"work":[84],"by":[85],"Slepak":[86],"et":[87],"al.":[88],"develops":[89],"custom":[91,105],"static":[92,137],"type":[93,121,138],"system":[94],"an":[96],"language.":[98],"We":[99,147],"show":[100,148],"here":[101],"that":[102,136,150],"language":[106],"design":[107],"unnecessary;":[109],"requisite":[111],"compatibility":[112],"checks":[113],"can":[114,134],"already":[115],"be":[116],"captured":[117],"in":[118,127],"modern":[119],"systems,":[122],"found":[124],"Haskell,":[128],"moreover,":[130],"generative":[131],"type-driven":[132],"programming":[133],"use":[135],"information":[139],"constructively":[140],"automatically":[142],"induce":[143],"appropriate":[145],"liftings.":[146],"also":[149],"structure":[152],"multi-dimensional":[154],"data":[155],"inherently":[157],"matter":[159],"Naperian":[161],"applicative":[162],"functors":[163],"-":[164],"lax":[165],"monoidal":[166],"functors,":[167],"strength,":[169],"commutative":[170],"up":[171],"isomorphism":[173],"under":[174],"composition.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}