{"id":"https://openalex.org/W4233884041","doi":"https://doi.org/10.1007/978-0-387-21798-7_14","title":"Type systems","display_name":"Type systems","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W4233884041","doi":"https://doi.org/10.1007/978-0-387-21798-7_14"},"language":"en","primary_location":{"id":"doi:10.1007/978-0-387-21798-7_14","doi":"https://doi.org/10.1007/978-0-387-21798-7_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-0-387-21798-7_14","pdf_url":null,"source":{"id":"https://openalex.org/S4210231814","display_name":"Texts and monographs in computer science","issn_l":"0172-603X","issn":["0172-603X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Monographs in Computer Science","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W2799005947","display_name":"Programming Methodology"},"type":"book-chapter","is_traditional":true,"indexed_in":["crossref"],"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/A5085361253","display_name":"Benjamin C. Pierce","orcid":"https://orcid.org/0000-0001-7839-1636","observed_orcids":["https://orcid.org/0000-0001-7839-1636"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Benjamin C. Pierce","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5085361253"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"293","last_page":"307"},"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/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/T11424","display_name":"Security and Verification in Computing","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/type-systems","display_name":"type systems","score":1.0},{"id":"https://openalex.org/keywords/programming-language-design","display_name":"programming language design","score":0.9210000038146973},{"id":"https://openalex.org/keywords/type-checking","display_name":"type checking","score":0.5220000147819519},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.6010000109672546},{"id":"https://openalex.org/keywords/compiler-implementation","display_name":"compiler implementation","score":0.6510000228881836},{"id":"https://openalex.org/keywords/software-engineering","display_name":"software engineering","score":0.6970000267028809},{"id":"https://openalex.org/keywords/language-design","display_name":"language design","score":0.4880000054836273}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7381757497787476},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7182855606079102},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6831712126731873},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4688640236854553},{"id":"https://openalex.org/C2986567400","wikidata":"https://www.wikidata.org/wiki/Q15777","display_name":"C programming language","level":3,"score":0.46867212653160095},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.29494765400886536}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-0-387-21798-7_14","doi":"https://doi.org/10.1007/978-0-387-21798-7_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-0-387-21798-7_14","pdf_url":null,"source":{"id":"https://openalex.org/S4210231814","display_name":"Texts and monographs in computer science","issn_l":"0172-603X","issn":["0172-603X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Monographs in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W4861723","https://openalex.org/W963613587","https://openalex.org/W1509245290","https://openalex.org/W1527145237","https://openalex.org/W1532487911","https://openalex.org/W1544633123","https://openalex.org/W1563541698","https://openalex.org/W1564971179","https://openalex.org/W1588567874","https://openalex.org/W1595372275","https://openalex.org/W1638436127","https://openalex.org/W1974190112","https://openalex.org/W1981303668","https://openalex.org/W1986402635","https://openalex.org/W1991354622","https://openalex.org/W1996404651","https://openalex.org/W2002301065","https://openalex.org/W2027657506","https://openalex.org/W2034711041","https://openalex.org/W2048569219","https://openalex.org/W2057648994","https://openalex.org/W2065413511","https://openalex.org/W2067012475","https://openalex.org/W2069107692","https://openalex.org/W2102654013","https://openalex.org/W2104204098","https://openalex.org/W2104416102","https://openalex.org/W2106348655","https://openalex.org/W2112391755","https://openalex.org/W2124798629","https://openalex.org/W2128057448","https://openalex.org/W2145945984","https://openalex.org/W2150769115","https://openalex.org/W2163976959","https://openalex.org/W2166822586","https://openalex.org/W2686043342","https://openalex.org/W2911865844","https://openalex.org/W2913522518","https://openalex.org/W4238665603","https://openalex.org/W4242126476","https://openalex.org/W4250452878","https://openalex.org/W6629148087","https://openalex.org/W6633544273","https://openalex.org/W6633792220","https://openalex.org/W6684155884","https://openalex.org/W6783387296","https://openalex.org/W6837629609"],"related_works":["https://openalex.org/W1557561422","https://openalex.org/W2084623055","https://openalex.org/W7096198572","https://openalex.org/W1553136405","https://openalex.org/W7097113925","https://openalex.org/W1951034176","https://openalex.org/W2556488573","https://openalex.org/W2501880816","https://openalex.org/W2804306222","https://openalex.org/W2047946055"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2022-05-12T00:00:00"}