{"id":"https://openalex.org/W1969365324","doi":"https://doi.org/10.1145/2502488.2502491","title":"Generic datatypes \u00e0 la carte","display_name":"Generic datatypes \u00e0 la carte","publication_year":2013,"publication_date":"2013-09-17","ids":{"openalex":"https://openalex.org/W1969365324","doi":"https://doi.org/10.1145/2502488.2502491","mag":"1969365324"},"language":"fr","primary_location":{"id":"doi:10.1145/2502488.2502491","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2502488.2502491","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM SIGPLAN workshop on Generic programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lirias.kuleuven.be/handle/123456789/415555","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086376186","display_name":"Steven Keuchel","orcid":"https://orcid.org/0000-0001-6411-438X"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I2801227569","display_name":"Ghent University Hospital","ror":"https://ror.org/00xmkp704","country_code":"BE","type":"healthcare","lineage":["https://openalex.org/I2801227569"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Steven Keuchel","raw_affiliation_strings":["Ghent University, Ghent, Belgium","[Ghent University, Ghent, BeLgium]"],"affiliations":[{"raw_affiliation_string":"Ghent University, Ghent, Belgium","institution_ids":["https://openalex.org/I2801227569"]},{"raw_affiliation_string":"[Ghent University, Ghent, BeLgium]","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050247934","display_name":"Tom Schrijvers","orcid":"https://orcid.org/0000-0001-8771-5559"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I2801227569","display_name":"Ghent University Hospital","ror":"https://ror.org/00xmkp704","country_code":"BE","type":"healthcare","lineage":["https://openalex.org/I2801227569"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Tom Schrijvers","raw_affiliation_strings":["Ghent University, Ghent, Belgium","[Ghent University, Ghent, BeLgium]"],"affiliations":[{"raw_affiliation_string":"Ghent University, Ghent, Belgium","institution_ids":["https://openalex.org/I2801227569"]},{"raw_affiliation_string":"[Ghent University, Ghent, BeLgium]","institution_ids":["https://openalex.org/I32597200"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5086376186"],"corresponding_institution_ids":["https://openalex.org/I2801227569","https://openalex.org/I32597200"],"apc_list":null,"apc_paid":null,"fwci":1.4827,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.85322496,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"13","last_page":"24"},"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.9998000264167786,"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.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9882000088691711,"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/T10142","display_name":"Formal Methods in Verification","score":0.9797000288963318,"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/computer-science","display_name":"Computer science","score":0.7293597459793091},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7047865390777588},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.6213517785072327},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5782772302627563},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5627550482749939},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5509216785430908},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5507937669754028},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.47670289874076843},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.46361714601516724},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11733371019363403},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10189825296401978}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7293597459793091},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7047865390777588},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.6213517785072327},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5782772302627563},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5627550482749939},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5509216785430908},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5507937669754028},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.47670289874076843},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.46361714601516724},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11733371019363403},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10189825296401978},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","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/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/2502488.2502491","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2502488.2502491","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM SIGPLAN workshop on Generic programming","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.722.6416","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.722.6416","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://people.cs.kuleuven.be/%7Etom.schrijvers/Research/papers/wgp2013.pdf","raw_type":"text"},{"id":"pmh:oai:archive.ugent.be:4132259","is_oa":false,"landing_page_url":"http://hdl.handle.net/1854/LU-4132259","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISBN: 9781450323895","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/415555","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/415555","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM SIGPLAN Workshop on Generic Programming, Boston, USA, 28 September 2013","raw_type":"info:eu-repo/semantics/acceptedVersion"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:168329","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/generic-datatypes-\u00e0-la-carte(5932973b-33db-40d6-9425-537dd3126220).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:222757","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/415555","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/415555","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM SIGPLAN Workshop on Generic Programming, Boston, USA, 28 September 2013","raw_type":"info:eu-repo/semantics/acceptedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1494217319","https://openalex.org/W1578113853","https://openalex.org/W1594466563","https://openalex.org/W1597282693","https://openalex.org/W1614164110","https://openalex.org/W1751016442","https://openalex.org/W1972664070","https://openalex.org/W1979982425","https://openalex.org/W1989866935","https://openalex.org/W2007492338","https://openalex.org/W2019629593","https://openalex.org/W2027132261","https://openalex.org/W2058137890","https://openalex.org/W2079640625","https://openalex.org/W2093896470","https://openalex.org/W2095631859","https://openalex.org/W2108061437","https://openalex.org/W2115396845","https://openalex.org/W2123212991","https://openalex.org/W2128448167","https://openalex.org/W2132558197","https://openalex.org/W2136177623","https://openalex.org/W2149236820","https://openalex.org/W2157137298","https://openalex.org/W2163552400","https://openalex.org/W2167268698","https://openalex.org/W2296612922","https://openalex.org/W2296677810","https://openalex.org/W2952161062","https://openalex.org/W3140687576","https://openalex.org/W4212957569","https://openalex.org/W4285719527","https://openalex.org/W4289790492","https://openalex.org/W4299423755","https://openalex.org/W6635770473"],"related_works":["https://openalex.org/W2808944898","https://openalex.org/W3196207352","https://openalex.org/W2951724202","https://openalex.org/W3084261076","https://openalex.org/W1996614773","https://openalex.org/W4387820098","https://openalex.org/W2576399385","https://openalex.org/W2963408011","https://openalex.org/W4236324517","https://openalex.org/W1586813864"],"abstract_inverted_index":{"Formal":[0],"reasoning":[1],"in":[2,21,60],"proof":[3],"assistants,":[4],"also":[5],"known":[6],"as":[7],"mechanization,":[8],"has":[9,49],"high":[10],"development":[11],"costs.":[12,24],"Building":[13],"modular":[14],"reusable":[15],"components":[16],"is":[17,30,41,73],"a":[18,42,55],"key":[19],"issue":[20],"reducing":[22],"these":[23],"A":[25],"stumbling":[26],"block":[27],"for":[28],"reuse":[29],"that":[31,48],"inductive":[32],"definitions":[33],"and":[34],"proofs":[35],"are":[36],"closed":[37],"to":[38],"extension.":[39],"This":[40],"manifestation":[43],"of":[44,63,70],"the":[45,53,61],"expression":[46],"problem":[47],"been":[50],"addressed":[51],"by":[52],"Meta-Theory":[54],"la":[56],"Carte":[57],"(MTC)":[58],"framework":[59],"context":[62],"programming":[64],"language":[65],"meta-theory.":[66],"However,":[67],"MTC's":[68],"use":[69],"extensible":[71],"Church-encodings":[72],"unsatisfactory.":[74]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}