{"id":"https://openalex.org/W7117234693","doi":"https://doi.org/10.1109/vl-hcc65237.2025.00019","title":"A Type Language for Blockly","display_name":"A Type Language for Blockly","publication_year":2025,"publication_date":"2025-10-07","ids":{"openalex":"https://openalex.org/W7117234693","doi":"https://doi.org/10.1109/vl-hcc65237.2025.00019"},"language":null,"primary_location":{"id":"doi:10.1109/vl-hcc65237.2025.00019","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vl-hcc65237.2025.00019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)","raw_type":"proceedings-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/A5114303075","display_name":"Robin Stunic","orcid":null},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"FernUniversit\u00e4t in Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Robin Stunic","raw_affiliation_strings":["Lehrgebiet Programmiersysteme Fernuniversität in Hagen,Hagen,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lehrgebiet Programmiersysteme Fernuniversität in Hagen,Hagen,Germany","institution_ids":["https://openalex.org/I120691247"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004979548","display_name":"Friedrich Steimann","orcid":"https://orcid.org/0000-0002-8887-134X"},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"FernUniversit\u00e4t in Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Friedrich Steimann","raw_affiliation_strings":["Lehrgebiet Programmiersysteme Fernuniversität in Hagen,Hagen,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lehrgebiet Programmiersysteme Fernuniversität in Hagen,Hagen,Germany","institution_ids":["https://openalex.org/I120691247"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5114303075"],"corresponding_institution_ids":["https://openalex.org/I120691247"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.79575075,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"93","last_page":"104"},"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.6758999824523926,"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.6758999824523926,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.09200000017881393,"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/T12377","display_name":"Digital Humanities and Scholarship","score":0.05209999904036522,"subfield":{"id":"https://openalex.org/subfields/1208","display_name":"Literature and Literary Theory"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.6732000112533569},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.6675000190734863},{"id":"https://openalex.org/keywords/dependent-type","display_name":"Dependent type","score":0.5422000288963318},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.5235000252723694},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.35019999742507935},{"id":"https://openalex.org/keywords/current","display_name":"Current (fluid)","score":0.3140000104904175}],"concepts":[{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.6732000112533569},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.6675000190734863},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.626800000667572},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.5422000288963318},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.5235000252723694},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.46320000290870667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4440999925136566},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.44339999556541443},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3869999945163727},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.35019999742507935},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.3140000104904175},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3133000135421753},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.30320000648498535},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2992999851703644},{"id":"https://openalex.org/C840598","wikidata":"https://www.wikidata.org/wiki/Q1841499","display_name":"Categorial grammar","level":5,"score":0.2621999979019165},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.2563999891281128}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vl-hcc65237.2025.00019","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vl-hcc65237.2025.00019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W290664278","https://openalex.org/W781995223","https://openalex.org/W1608872751","https://openalex.org/W1964071625","https://openalex.org/W1982209843","https://openalex.org/W1990204174","https://openalex.org/W2003420578","https://openalex.org/W2025407135","https://openalex.org/W2036676170","https://openalex.org/W2043548135","https://openalex.org/W2052801637","https://openalex.org/W2072500626","https://openalex.org/W2074250620","https://openalex.org/W2097335450","https://openalex.org/W2123396057","https://openalex.org/W2168818382","https://openalex.org/W2238262809","https://openalex.org/W2532824920","https://openalex.org/W2546466428","https://openalex.org/W2765830932","https://openalex.org/W2772147783","https://openalex.org/W2781881785","https://openalex.org/W2898547734","https://openalex.org/W2913741673","https://openalex.org/W2949171297","https://openalex.org/W2963218353","https://openalex.org/W2966174347","https://openalex.org/W2979438522","https://openalex.org/W3108408439","https://openalex.org/W3177117290","https://openalex.org/W3187876763","https://openalex.org/W4292259505","https://openalex.org/W4307886855","https://openalex.org/W4390604815","https://openalex.org/W4403447647","https://openalex.org/W4403490762","https://openalex.org/W4406165913","https://openalex.org/W4406258132"],"related_works":[],"abstract_inverted_index":{"Google\u2019s":[0],"Blockly":[1],"library":[2],"provides":[3],"rudimentary":[4],"support":[5],"for":[6],"types":[7],"that":[8,21],"constrain":[9],"how":[10,36],"blocks":[11],"can":[12,38],"be":[13,39],"connected":[14],"to":[15,66],"form":[16],"larger":[17],"fragments.":[18],"We":[19,56],"argue":[20],"Blockly\u2019s":[22],"current":[23],"type":[24],"language":[25],"does":[26],"not":[27],"reach":[28],"beyond":[29],"the":[30,58],"level":[31],"of":[32,60],"context-freeness,":[33],"and":[34,53,69,73],"show":[35],"this":[37],"changed":[40],"\u2014":[41,46],"in":[42],"a":[43],"non-disruptive":[44],"way":[45],"by":[47,63],"adopting":[48],"elements":[49],"from":[50],"attribute":[51],"grammar":[52],"constraint-based":[54],"typing.":[55],"demonstrate":[57],"generality":[59],"our":[61,71],"approach":[62],"applying":[64],"it":[65],"different":[67],"languages,":[68],"describe":[70],"implementation":[72],"integration":[74],"into":[75],"Blockly.":[76]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-12-25T00:00:00"}