{"id":"https://openalex.org/W50416634","doi":"https://doi.org/10.3176/phys.math.1998.3.01","title":"FUNCTIONAL PROGRAMMING WITH APOMORPHISMS (CORECURSION)","display_name":"FUNCTIONAL PROGRAMMING WITH APOMORPHISMS (CORECURSION)","publication_year":1998,"publication_date":"1998-02-13","ids":{"openalex":"https://openalex.org/W50416634","doi":"https://doi.org/10.3176/phys.math.1998.3.01","mag":"50416634"},"language":"en","primary_location":{"id":"doi:10.3176/phys.math.1998.3.01","doi":"https://doi.org/10.3176/phys.math.1998.3.01","is_oa":true,"landing_page_url":"https://doi.org/10.3176/phys.math.1998.3.01","pdf_url":"https://kirj.ee/wp-content/plugins/kirj/pub/phys.math-3-1998-147-161_20230213202739.pdf","source":{"id":"https://openalex.org/S4210199535","display_name":"Proceedings of the Estonian Academy of Sciences Physics Mathematics","issn_l":"1406-0086","issn":["1406-0086","2228-0685"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":"https://openalex.org/P4310319951","host_organization_name":"Estonian Academy Publishers","host_organization_lineage":["https://openalex.org/P4310319951"],"host_organization_lineage_names":["Estonian Academy Publishers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Estonian Academy of Sciences. Physics. Mathematics","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://kirj.ee/wp-content/plugins/kirj/pub/phys.math-3-1998-147-161_20230213202739.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069353491","display_name":"Varmo Vene","orcid":"https://orcid.org/0000-0002-4874-7555","observed_orcids":["https://orcid.org/0000-0002-4874-7555"]},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]},{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["EE","SE"],"is_corresponding":false,"raw_author_name":"Varmo Vene","raw_affiliation_strings":["Department of Teleinformatics , Royal Institute of Technology , Electrum 204 , SE-164 40 Kista , Sweden;","University of Tartu"],"raw_orcid":"https://orcid.org/0000-0002-4874-7555","affiliations":[{"raw_affiliation_string":"Department of Teleinformatics , Royal Institute of Technology , Electrum 204 , SE-164 40 Kista , Sweden;","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"University of Tartu","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074922343","display_name":"Tarmo Uustalu","orcid":"https://orcid.org/0000-0002-1297-0579","observed_orcids":["https://orcid.org/0000-0002-1297-0579"]},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]},{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["EE","SE"],"is_corresponding":false,"raw_author_name":"Tarmo Uustalu","raw_affiliation_strings":["Institute of Computer Science , University of Tartu , J. Liivi 2 , EE-2484 Tartu , Estonia;","Royal Inst. of Technology"],"raw_orcid":"https://orcid.org/0000-0002-1297-0579","affiliations":[{"raw_affiliation_string":"Institute of Computer Science , University of Tartu , J. Liivi 2 , EE-2484 Tartu , Estonia;","institution_ids":["https://openalex.org/I56085075"]},{"raw_affiliation_string":"Royal Inst. of Technology","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5492,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.69516971,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":"47","issue":"3","first_page":"147","last_page":"161"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":9.999999747378752e-05,"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"}},{"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"}}],"keywords":[{"id":"https://openalex.org/keywords/corecursion","display_name":"corecursion","score":0.9639999866485596},{"id":"https://openalex.org/keywords/primitive-recursion","display_name":"primitive recursion","score":0.7170000076293945},{"id":"https://openalex.org/keywords/coinductive-types","display_name":"coinductive types","score":0.777999997138977}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4489355981349945},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41753190755844116}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3176/phys.math.1998.3.01","doi":"https://doi.org/10.3176/phys.math.1998.3.01","is_oa":true,"landing_page_url":"https://doi.org/10.3176/phys.math.1998.3.01","pdf_url":"https://kirj.ee/wp-content/plugins/kirj/pub/phys.math-3-1998-147-161_20230213202739.pdf","source":{"id":"https://openalex.org/S4210199535","display_name":"Proceedings of the Estonian Academy of Sciences Physics Mathematics","issn_l":"1406-0086","issn":["1406-0086","2228-0685"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":"https://openalex.org/P4310319951","host_organization_name":"Estonian Academy Publishers","host_organization_lineage":["https://openalex.org/P4310319951"],"host_organization_lineage_names":["Estonian Academy Publishers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Estonian Academy of Sciences. Physics. Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.174.8068","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.174.8068","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ioc.ee/%7Etarmo/papers/nwpt97-peas.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.35.7317","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.7317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ioc.ee/~tarmo/papers/nwpt97.ps.gz","raw_type":"text"}],"best_oa_location":{"id":"doi:10.3176/phys.math.1998.3.01","doi":"https://doi.org/10.3176/phys.math.1998.3.01","is_oa":true,"landing_page_url":"https://doi.org/10.3176/phys.math.1998.3.01","pdf_url":"https://kirj.ee/wp-content/plugins/kirj/pub/phys.math-3-1998-147-161_20230213202739.pdf","source":{"id":"https://openalex.org/S4210199535","display_name":"Proceedings of the Estonian Academy of Sciences Physics Mathematics","issn_l":"1406-0086","issn":["1406-0086","2228-0685"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":"https://openalex.org/P4310319951","host_organization_name":"Estonian Academy Publishers","host_organization_lineage":["https://openalex.org/P4310319951"],"host_organization_lineage_names":["Estonian Academy Publishers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Estonian Academy of Sciences. Physics. Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321018","display_name":"Eesti Teadusfondi","ror":"https://ror.org/00jjeja18"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W50416634.pdf","grobid_xml":"https://content.openalex.org/works/W50416634.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W1484257038","https://openalex.org/W1536939176","https://openalex.org/W1558180172","https://openalex.org/W2071042586","https://openalex.org/W2085858043","https://openalex.org/W2111858237","https://openalex.org/W2116908067","https://openalex.org/W2164343886","https://openalex.org/W4234125937"],"related_works":["https://openalex.org/W7096593846","https://openalex.org/W2160809209","https://openalex.org/W2147890340","https://openalex.org/W4282009576","https://openalex.org/W2922291020","https://openalex.org/W7043368115","https://openalex.org/W1990053589","https://openalex.org/W2111858237","https://openalex.org/W1659248751","https://openalex.org/W412065724"],"abstract_inverted_index":{"In":[0],"the":[1,22,41],"mainstream":[2],"categorical":[3],"approach":[4],"to":[5,40],"typed":[6],"(total)":[7],"functional":[8],"programming,":[9],"functions":[10,32],"with":[11,47],"inductive":[12],"source":[13],"types":[14,50],"defined":[15,51],"by":[16,52],"primitive":[17,25,53,60],"recursion":[18,26],"are":[19],"called":[20],"paramorphisms;":[21],"utility":[23],"of":[24,44],"as":[27],"a":[28],"scheme":[29],"for":[30],"defining":[31],"in":[33,64],"programming":[34],"is":[35,62],"well":[36],"known.We":[37],"draw":[38],"attention":[39],"dual":[42],"notion":[43],"apomorphisms":[45],"-functions":[46],"coinductive":[48],"target":[49],"corecursion":[54,61],"and":[55],"show":[56],"on":[57],"examples":[58],"that":[59],"useful":[63],"programming.":[65]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}