{"id":"https://openalex.org/W3127075129","doi":null,"title":"Design and implementation of an object-oriented functional language","display_name":"Design and implementation of an object-oriented functional language","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W3127075129","mag":"3127075129"},"language":"en","primary_location":{"id":"pmh:hdl:10068/624292","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10068/624292","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"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/A5069976476","display_name":"Lee Braine","orcid":"https://orcid.org/0000-0002-3719-3403","observed_orcids":["https://orcid.org/0000-0002-3719-3403"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lee Braine","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3719-3403","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5069976476"],"corresponding_institution_ids":[],"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":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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.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"}}],"keywords":[{"id":"https://openalex.org/keywords/language-design","display_name":"language design","score":0.8450000286102295},{"id":"https://openalex.org/keywords/type-safety","display_name":"type safety","score":0.9259999990463257},{"id":"https://openalex.org/keywords/object-identity","display_name":"object identity","score":0.7829999923706055},{"id":"https://openalex.org/keywords/subtyping","display_name":"subtyping","score":0.7039999961853027},{"id":"https://openalex.org/keywords/inheritance-object-oriented-programming","display_name":"inheritance (object-oriented programming)","score":0.8270000219345093},{"id":"https://openalex.org/keywords/method-overriding","display_name":"method overriding","score":0.902999997138977},{"id":"https://openalex.org/keywords/method-overloading","display_name":"method overloading","score":0.949999988079071},{"id":"https://openalex.org/keywords/dynamic-dispatch","display_name":"dynamic dispatch","score":0.9750000238418579},{"id":"https://openalex.org/keywords/higher-order-functions","display_name":"higher-order functions","score":0.9929999709129333},{"id":"https://openalex.org/keywords/referential-transparency","display_name":"referential transparency","score":0.9739999771118164},{"id":"https://openalex.org/keywords/lazy-evaluation","display_name":"lazy evaluation","score":0.7950000166893005},{"id":"https://openalex.org/keywords/translation-rules","display_name":"translation rules","score":0.7099999785423279},{"id":"https://openalex.org/keywords/code-generation","display_name":"code generation","score":0.8769999742507935},{"id":"https://openalex.org/keywords/functional-language-implementation","display_name":"functional language implementation","score":0.44999998807907104}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7116906642913818},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6137276887893677},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5486184358596802},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.5310312509536743},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.5072538256645203},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4874477684497833},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4771394431591034},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.4587048292160034},{"id":"https://openalex.org/C53073257","wikidata":"https://www.wikidata.org/wiki/Q7075021","display_name":"Object-oriented design","level":3,"score":0.4460003077983856},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39146387577056885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.275846004486084},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.1363617479801178},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:hdl:10068/624292","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10068/624292","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10107565","doi":null,"is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10107565/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Doctoral thesis, UCL (University College London).","raw_type":"Thesis"},{"id":"mag:3127075129","doi":null,"is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10107565/","pdf_url":null,"source":{"id":"https://openalex.org/S4306508231","display_name":"Doctoral thesis, UCL (University College London).","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Doctoral thesis, UCL (University College London).","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":42,"referenced_works":["https://openalex.org/W102540215","https://openalex.org/W112516994","https://openalex.org/W157835511","https://openalex.org/W1482457814","https://openalex.org/W1487591018","https://openalex.org/W1510641142","https://openalex.org/W1543641760","https://openalex.org/W1555946950","https://openalex.org/W1633290757","https://openalex.org/W1770006921","https://openalex.org/W1829244603","https://openalex.org/W1875867434","https://openalex.org/W1963954367","https://openalex.org/W1977655588","https://openalex.org/W1989258377","https://openalex.org/W1997532030","https://openalex.org/W2006346808","https://openalex.org/W2007313703","https://openalex.org/W2026793883","https://openalex.org/W2027657506","https://openalex.org/W2029326070","https://openalex.org/W2045663419","https://openalex.org/W2057648994","https://openalex.org/W2059895047","https://openalex.org/W2062950667","https://openalex.org/W2072898606","https://openalex.org/W2082514774","https://openalex.org/W2092187831","https://openalex.org/W2095219277","https://openalex.org/W2110573845","https://openalex.org/W2113547509","https://openalex.org/W2113757735","https://openalex.org/W2150734690","https://openalex.org/W2151384546","https://openalex.org/W2156611852","https://openalex.org/W2163585952","https://openalex.org/W2163976959","https://openalex.org/W2166822586","https://openalex.org/W2172307690","https://openalex.org/W2173184982","https://openalex.org/W2617695691","https://openalex.org/W3167506561"],"related_works":["https://openalex.org/W2510807334","https://openalex.org/W7097968641","https://openalex.org/W102540215","https://openalex.org/W7095183113","https://openalex.org/W7101120429","https://openalex.org/W2389919171","https://openalex.org/W4241716597","https://openalex.org/W2078623319","https://openalex.org/W2350430704","https://openalex.org/W2119857670"],"abstract_inverted_index":{"A":[0],"novel":[1],"approach":[2],"to":[3,33,56,81],"the":[4,58,65,104,123,128,137,166,224,249,266,272,289],"integration":[5,105,168],"of":[6,62,69,75,106,143,162,169,172,202,213,218,227,288,294,308,317],"object-oriented":[7,45,193,250,310],"programming":[8,12],"(OOP)":[9],"and":[10,21,44,50,86,108,126,181,185,230,245,261],"functional":[11,43,85,180,267,281,311,320],"(FP)":[13],"is":[14,17,55,116,178,186,215,231],"investigated.":[15],"This":[16,303],"a":[18,38,48,141,151,154,170,199,206,279,285,292,318],"well-researched":[19],"area":[20],"we":[22,73,98],"focus":[23],"on":[24],"several":[25],"features":[26,46],"that":[27],"have,":[28],"until":[29],"now,":[30],"proved":[31],"resistant":[32],"integration.":[34],"The":[35,53,176,191,210],"search":[36],"for":[37,153,300],"language":[39,77,146,177,273,312],"which":[40,78,158],"combines":[41],"both":[42,70,83],"has":[47],"long":[49],"distinguished":[51],"history.":[52],"aim":[54],"integrate":[57],"formal":[59,286],"methods":[60],"benefits":[61,68],"FP":[63],"with":[64,252,298],"software":[66],"engineering":[67],"paradigms.":[71],"However,":[72],"know":[74],"no":[76],"can":[79,274],"claim":[80],"be":[82,275],"purely":[84,87,179,183,232],"object-":[88],"oriented":[89],"(and":[90],"retains":[91],"complete":[92,262],"type":[93,189,263],"safety).":[94],"In":[95,234],"this":[96,114],"thesis,":[97],"explain":[99],"some":[100],"important":[101],"issues":[102,131],"concerning":[103],"OOP":[107],"FP.":[109],"We":[110,149,269,283],"show":[111],"why":[112],"achieving":[113],"goal":[115,138],"difficult":[117],"by":[118,133,165,197,277],"identifying":[119],"key":[120,225],"differences":[121],"between":[122],"two":[124],"paradigms":[125],"discussing":[127],"seemingly-incompatible":[129],"design":[130,147,152,174],"raised":[132],"these":[134,163],"differences.":[135],"Achieving":[136],"thus":[139],"becomes":[140],"problem":[142],"solving":[144],"apparently-conflicting":[145],"requirements.":[148],"present":[150],"new":[155,200,207],"language,":[156],"CLOVER,":[157],"meets":[159],"almost":[160,182],"all":[161,223],"requirements":[164],"careful":[167],"number":[171],"different":[173],"criteria.":[175],"object-oriented,":[184],"also":[187],"completely":[188],"safe.":[190],"remaining":[192],"aspects":[194],"are":[195],"resolved":[196],"supplying":[198],"interpretation":[201],"object":[203,228],"identity":[204],"through":[205],"visual":[208],"notation.":[209],"main":[211],"contribution":[212],"CLOVER":[214],"its":[216],"breadth":[217],"scope":[219],"-":[220],"it":[221,236],"incorporates":[222],"concepts":[226],"orientation":[229],"functional.":[233],"particular,":[235],"integrates":[237],"subtyping,":[238],"subsumption,":[239],"inheritance,":[240],"method":[241,243],"overriding,":[242],"overloading":[244],"dynamic":[246],"despatch":[247],"from":[248,265],"paradigm":[251],"higher-order":[253],"functions,":[254],"curried":[255],"partial":[256],"applications,":[257],"referential":[258],"transparency,":[259],"laziness":[260],"safety":[264],"paradigm.":[268],"demonstrate":[270],"how":[271],"implemented":[276],"targeting":[278],"simple":[280],"language.":[282,321],"provide":[284],"presentation":[287],"implementation":[290],"as":[291],"set":[293],"translation":[295],"rules":[296,299],"together":[297],"code":[301],"generation.":[302],"translates":[304],"an":[305,314],"abstract":[306,315],"form":[307,316],"our":[309],"into":[313],"standard":[319]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2021-02-15T00:00:00"}