{"id":"https://openalex.org/W100825583","doi":null,"title":"Application patterns in functional languages","display_name":"Application patterns in functional languages","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W100825583","mag":"100825583"},"language":"en","primary_location":{"id":"mag:100825583","doi":null,"is_oa":false,"landing_page_url":"https://essay.utwente.nl/57656/1/scriptie_Oosterhof.pdf","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":"dissertation","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/A5054190978","display_name":"Nikolaas N. Oosterhof","orcid":"https://orcid.org/0000-0003-0880-0734","observed_orcids":["https://orcid.org/0000-0003-0880-0734"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nikolaas N. Oosterhof","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-0880-0734","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5054190978"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"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":1.0,"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":1.0,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11567","display_name":"semigroups and automata theory","score":0.0,"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/application-patterns","display_name":"application patterns","score":0.9800000190734863},{"id":"https://openalex.org/keywords/pattern-matching","display_name":"pattern matching","score":0.9520000219345093},{"id":"https://openalex.org/keywords/pure-functional-languages","display_name":"pure functional languages","score":0.7739999890327454},{"id":"https://openalex.org/keywords/inverse-functions","display_name":"inverse functions","score":0.7239999771118164},{"id":"https://openalex.org/keywords/pattern-matching-algorithms","display_name":"pattern matching algorithms","score":0.44999998807907104},{"id":"https://openalex.org/keywords/code-translation","display_name":"program translation","score":0.4449999928474426},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.4480000138282776},{"id":"https://openalex.org/keywords/algebraic-data-types","display_name":"algebraic data types","score":0.7289999723434448}],"concepts":[{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.6408953070640564},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6108010411262512},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5624703764915466},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.5200378894805908},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4857493042945862},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4828275144100189},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4771556258201599},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47449183464050293},{"id":"https://openalex.org/C140528856","wikidata":"https://www.wikidata.org/wiki/Q191884","display_name":"Inverse function","level":3,"score":0.4706543982028961},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4631132185459137},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.457442045211792},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.4528906047344208},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.4471759498119354},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4320893883705139},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.41943591833114624},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.41094234585762024},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38323864340782166},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24795010685920715},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.15958452224731445},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"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/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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:100825583","doi":null,"is_oa":false,"landing_page_url":"https://essay.utwente.nl/57656/1/scriptie_Oosterhof.pdf","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1520096901","https://openalex.org/W1523047387","https://openalex.org/W1543641760","https://openalex.org/W1556536463","https://openalex.org/W1583539918","https://openalex.org/W1977140313","https://openalex.org/W2031647786","https://openalex.org/W2136202785"],"related_works":["https://openalex.org/W1568025667","https://openalex.org/W1551119145","https://openalex.org/W1973765637","https://openalex.org/W6986867873","https://openalex.org/W7098939861","https://openalex.org/W2476762404","https://openalex.org/W2474047139","https://openalex.org/W7002568312","https://openalex.org/W2359116153","https://openalex.org/W1880050370"],"abstract_inverted_index":{"Most":[0],"contemporary":[1],"pure":[2],"functional":[3,164,194],"languages":[4],"provide":[5],"support":[6],"for":[7,83,95],"patterns":[8,15,37,142,169,175],"in":[9,103,121,134,145,192],"function":[10,41],"definitions.":[11],"Examples":[12],"of":[13,31,39,47,72,93,189],"common":[14],"are":[16,46,66,132,143],"the":[17,48,70,104,108,113,135,146],"identifier,":[18],"constant,":[19,151],"tuple,":[20,152],"list":[21],"algebraic,":[22,154],"n+k":[23,155],"and":[24,156],"as-pattern.\r\nThis":[25],"thesis":[26,158],"introduces":[27],"a":[28,40,56,122,186,193],"new":[29],"kind":[30],"patterns,":[32],"called":[33],"application":[34,141,168,174],"patterns.":[35],"Such":[36],"consist":[38],"applied":[42],"to":[43,68,74,170],"arguments:":[44],"they":[45,149],"form":[49],"(f":[50],"x1":[51],"...":[52],"xn).":[53],"When":[54],"such":[55],"pattern":[57],"is":[58,79,117,138],"matched":[59],"against":[60],"an":[61,160,181],"actual":[62],"argument,":[63],"inverse":[64,87],"functions":[65,88,99],"used":[67,130],"find":[69],"binding":[71],"variables":[73],"values.":[75],"A":[76,115],"theoretical":[77],"framework":[78],"provided":[80],"that":[81,120,131,140,148,162,176],"accomodates":[82],"defining":[84],"multiple":[85],"generalized":[86],"(for":[89],"returning":[90],"different":[91],"sets":[92],"arguments)":[94],"one":[96],"function.":[97],"These\r\ninverse":[98],"can":[100,128,177],"be":[101,129,178],"available":[102],"system,":[105],"derived":[106],"by":[107,112],"system":[109],"or":[110],"defined":[111],"programmer.":[114],"notation":[116],"introduced":[118],"so":[119],"definition?s":[123],"left":[124],"hand":[125],"side":[126],"identifiers":[127],"bound":[133],"context.":[136],"It":[137,183],"established":[139],"universal":[144],"sense":[147],"include":[150],"list,":[153],"as-patterns.\r\nThis":[157],"describes":[159],"algoritm":[161,191],"translates":[163],"program":[165,171],"code":[166,172],"with":[167],"without":[173],"run":[179],"on":[180],"interpreter.":[182],"also":[184],"provides":[185],"proof-of-concept":[187],"implementation":[188],"this":[190],"language.":[195]},"counts_by_year":[{"year":2013,"cited_by_count":4}],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}