{"id":"https://openalex.org/W147667397","doi":null,"title":"The essence of functional programming (Invited talk)","display_name":"The essence of functional programming (Invited talk)","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W147667397","mag":"147667397"},"language":"en","primary_location":{"id":"mag:147667397","doi":null,"is_oa":false,"landing_page_url":"http://patryshev.com/books/wadler-essence-fp.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},"parent_works":[],"lineage":["https://openalex.org/W147667397"],"child_works_count":0,"type":"article","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/A5018878077","display_name":"Philip L. Wadler","orcid":"https://orcid.org/0000-0001-7619-6378","observed_orcids":["https://orcid.org/0000-0001-7619-6378"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Philip Wadler","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-7619-6378","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5018878077"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.3919,"has_fulltext":false,"cited_by_count":49,"citation_normalized_percentile":{"value":0.9630955,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":93},"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":0.9994999766349792,"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":0.9994999766349792,"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/T10533","display_name":"Teaching and Learning Programming","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.0,"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/monads","display_name":"monads","score":0.9959999918937683},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.9850000143051147},{"id":"https://openalex.org/keywords/effects","display_name":"effects","score":0.36399999260902405},{"id":"https://openalex.org/keywords/exception-handling","display_name":"exception handling","score":0.6169999837875366},{"id":"https://openalex.org/keywords/state","display_name":"state","score":0.8849999904632568},{"id":"https://openalex.org/keywords/continuations","display_name":"continuations","score":0.9810000061988831},{"id":"https://openalex.org/keywords/nondeterministic-choice","display_name":"nondeterministic choice","score":0.9179999828338623},{"id":"https://openalex.org/keywords/continuation-passing-style","display_name":"continuation-passing style","score":0.6600000262260437},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.6179999709129333},{"id":"https://openalex.org/keywords/program-structure","display_name":"program structure","score":0.3540000021457672},{"id":"https://openalex.org/keywords/interpreters","display_name":"interpreters","score":0.3840000033378601}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.934965968132019},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7249084711074829},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7242566347122192},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.6754862070083618},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.6139187216758728},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.605004608631134},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5343880653381348},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5324685573577881},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4941995441913605},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.484137624502182},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07103067636489868},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06488430500030518},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:147667397","doi":null,"is_oa":false,"landing_page_url":"http://patryshev.com/books/wadler-essence-fp.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":24,"referenced_works":["https://openalex.org/W22089940","https://openalex.org/W1484366641","https://openalex.org/W1488880065","https://openalex.org/W1507155521","https://openalex.org/W1507693023","https://openalex.org/W1519382205","https://openalex.org/W1532487911","https://openalex.org/W1595465781","https://openalex.org/W1619157758","https://openalex.org/W1829244603","https://openalex.org/W1842410071","https://openalex.org/W1979240050","https://openalex.org/W1985220128","https://openalex.org/W2017381819","https://openalex.org/W2043416466","https://openalex.org/W2048921878","https://openalex.org/W2049362364","https://openalex.org/W2083697466","https://openalex.org/W2116293853","https://openalex.org/W2120713972","https://openalex.org/W2156876717","https://openalex.org/W2293168108","https://openalex.org/W2295914203","https://openalex.org/W3145454088"],"related_works":["https://openalex.org/W2037984920","https://openalex.org/W7100145331","https://openalex.org/W2621168830","https://openalex.org/W7101004876","https://openalex.org/W7095150928","https://openalex.org/W7095674787","https://openalex.org/W7095907644","https://openalex.org/W2547899303","https://openalex.org/W7096284698","https://openalex.org/W2295914203"],"abstract_inverted_index":{"This":[0],"paper":[1],"explores":[2],"the":[3,22,33,71,96],"use":[4,72],"monads":[5,14,100,110],"to":[6,80],"structure":[7],"functional":[8],"programs.":[9],"No":[10],"prior":[11],"knowledge":[12],"of":[13,35,56,70,73],"or":[15],"category":[16],"theory":[17],"is":[18,66,78,119],"required.":[19],"Monads":[20],"increase":[21],"ease":[23],"with":[24,51],"which":[25,60],"programs":[26],"may":[27],"be":[28],"modified.":[29],"They":[30],"can":[31],"mimic":[32],"effect":[34],"impure":[36],"features":[37],"such":[38,52],"as":[39],"exceptions,":[40],"state,":[41,87],"and":[42,44,89,101],"continuations;":[43],"also":[45],"provide":[46],"effects":[47,61],"not":[48],"easily":[49],"achieved":[50],"features.":[53],"The":[54,63,92,105],"types":[55],"a":[57,114],"program":[58],"reflect":[59],"occur.":[62],"first":[64],"section":[65,94,107],"an":[67],"extended":[68],"example":[69],"monads.":[74],"A":[75],"simple":[76],"interpreter":[77],"modified":[79],"support":[81],"various":[82],"extra":[83],"features:":[84],"error":[85],"messages,":[86],"output,":[88],"non-deterministic":[90],"choice.":[91],"second":[93],"describes":[95],"relation":[97],"bet":[98],"ween":[99],"cent":[102],"inuationpassing":[103],"style.":[104],"third":[106],"sketches":[108],"how":[109],"are":[111],"used":[112],"in":[113,121],"compiler":[115],"for":[116],"Haskell":[117],"that":[118],"written":[120],"Haskell.":[122]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}