{"id":"https://openalex.org/W1975913387","doi":"https://doi.org/10.1007/s00236-011-0136-9","title":"Refined typing to localize the impact of forced strictness on free theorems","display_name":"Refined typing to localize the impact of forced strictness on free theorems","publication_year":2011,"publication_date":"2011-04-15","ids":{"openalex":"https://openalex.org/W1975913387","doi":"https://doi.org/10.1007/s00236-011-0136-9","mag":"1975913387"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-011-0136-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-011-0136-9","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","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/A5073936754","display_name":"Daniel Seidel","orcid":"https://orcid.org/0000-0002-2240-3850"},"institutions":[{"id":"https://openalex.org/I135140700","display_name":"University of Bonn","ror":"https://ror.org/041nas322","country_code":"DE","type":"education","lineage":["https://openalex.org/I135140700"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Daniel Seidel","raw_affiliation_strings":["Institute for Computer Science, University of Bonn, Bonn, Germany","Institute for Computer Science, University of Bonn, R\u00f6merstra\u00dfe 164, 53117, Bonn, Germany","University of Bonn, Institute for Computer Science, R\u00f6merstra\u00dfe 164, 53117 Bonn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computer Science, University of Bonn, Bonn, Germany","institution_ids":["https://openalex.org/I135140700"]},{"raw_affiliation_string":"Institute for Computer Science, University of Bonn, R\u00f6merstra\u00dfe 164, 53117, Bonn, Germany","institution_ids":["https://openalex.org/I135140700"]},{"raw_affiliation_string":"University of Bonn, Institute for Computer Science, R\u00f6merstra\u00dfe 164, 53117 Bonn, Germany","institution_ids":["https://openalex.org/I135140700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026029995","display_name":"Janis Voigtl\u00e4nder","orcid":"https://orcid.org/0009-0001-2411-9909"},"institutions":[{"id":"https://openalex.org/I135140700","display_name":"University of Bonn","ror":"https://ror.org/041nas322","country_code":"DE","type":"education","lineage":["https://openalex.org/I135140700"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Janis Voigtl\u00e4nder","raw_affiliation_strings":["Institute for Computer Science, University of Bonn, Bonn, Germany","Institute for Computer Science, University of Bonn, R\u00f6merstra\u00dfe 164, 53117, Bonn, Germany","University of Bonn, Institute for Computer Science, R\u00f6merstra\u00dfe 164, 53117 Bonn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computer Science, University of Bonn, Bonn, Germany","institution_ids":["https://openalex.org/I135140700"]},{"raw_affiliation_string":"Institute for Computer Science, University of Bonn, R\u00f6merstra\u00dfe 164, 53117, Bonn, Germany","institution_ids":["https://openalex.org/I135140700"]},{"raw_affiliation_string":"University of Bonn, Institute for Computer Science, R\u00f6merstra\u00dfe 164, 53117 Bonn, Germany","institution_ids":["https://openalex.org/I135140700"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026029995","https://openalex.org/A5073936754"],"corresponding_institution_ids":["https://openalex.org/I135140700"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.07361013,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"48","issue":"3","first_page":"191","last_page":"211"},"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.9998999834060669,"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.9998999834060669,"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.9955000281333923,"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.9925000071525574,"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/haskell","display_name":"Haskell","score":0.9399815797805786},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.8692086935043335},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7109076976776123},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.7018370032310486},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.5281943082809448},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5221822261810303},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4506891965866089},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44050168991088867}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.9399815797805786},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.8692086935043335},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7109076976776123},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.7018370032310486},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.5281943082809448},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5221822261810303},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4506891965866089},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44050168991088867},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00236-011-0136-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-011-0136-9","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7099999785423279,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W197533521","https://openalex.org/W326743114","https://openalex.org/W1512248102","https://openalex.org/W1526879784","https://openalex.org/W1532502754","https://openalex.org/W1534185537","https://openalex.org/W1543641760","https://openalex.org/W1553136405","https://openalex.org/W1556536463","https://openalex.org/W1557561422","https://openalex.org/W1558848517","https://openalex.org/W1576954726","https://openalex.org/W1595372275","https://openalex.org/W1603227274","https://openalex.org/W1966981171","https://openalex.org/W1968277829","https://openalex.org/W1980759357","https://openalex.org/W2014868111","https://openalex.org/W2019746614","https://openalex.org/W2020281959","https://openalex.org/W2031705219","https://openalex.org/W2057292961","https://openalex.org/W2059895047","https://openalex.org/W2066868279","https://openalex.org/W2068407102","https://openalex.org/W2111304450","https://openalex.org/W2112122837","https://openalex.org/W2112774031","https://openalex.org/W2131739376","https://openalex.org/W2159227002","https://openalex.org/W2161773169","https://openalex.org/W2181978274","https://openalex.org/W3001032111","https://openalex.org/W3008307609","https://openalex.org/W3043523721","https://openalex.org/W3107822754","https://openalex.org/W3171421481","https://openalex.org/W3181583482","https://openalex.org/W4238056673","https://openalex.org/W4252945515"],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W1602185604","https://openalex.org/W3004782279","https://openalex.org/W2028779182","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2129253059","https://openalex.org/W4296274916","https://openalex.org/W1504459189","https://openalex.org/W1755575651"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2025-10-10T00:00:00"}