{"id":"https://openalex.org/W2022137742","doi":"https://doi.org/10.1145/1140335.1140341","title":"Type-oriented construction of web user interfaces","display_name":"Type-oriented construction of web user interfaces","publication_year":2006,"publication_date":"2006-07-10","ids":{"openalex":"https://openalex.org/W2022137742","doi":"https://doi.org/10.1145/1140335.1140341","mag":"2022137742"},"language":"en","primary_location":{"id":"doi:10.1145/1140335.1140341","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1140335.1140341","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming","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/A5024421847","display_name":"Michael Hanus","orcid":"https://orcid.org/0000-0002-4953-8202"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Michael Hanus","raw_affiliation_strings":["Institut f\u00fcr Informatik, Kiel, Germany"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Kiel, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5024421847"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.228,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.96823568,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"27","last_page":"38"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9976999759674072,"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.9966999888420105,"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.8629883527755737},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5497170686721802},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.5181652307510376},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.5074533820152283},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.49584922194480896},{"id":"https://openalex.org/keywords/web-application","display_name":"Web application","score":0.4665057063102722},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4122350513935089},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.34829458594322205},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.23333579301834106}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8629883527755737},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5497170686721802},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.5181652307510376},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.5074533820152283},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.49584922194480896},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.4665057063102722},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4122350513935089},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.34829458594322205},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.23333579301834106}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1140335.1140341","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1140335.1140341","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W66285964","https://openalex.org/W98425039","https://openalex.org/W1486941949","https://openalex.org/W1494460511","https://openalex.org/W1508922656","https://openalex.org/W1510628702","https://openalex.org/W1517791025","https://openalex.org/W1518245009","https://openalex.org/W1523945189","https://openalex.org/W1556536463","https://openalex.org/W1583044117","https://openalex.org/W1992085465","https://openalex.org/W1996974848","https://openalex.org/W2022647944","https://openalex.org/W2025445894","https://openalex.org/W2059799630","https://openalex.org/W2059895047","https://openalex.org/W2087404516","https://openalex.org/W2088968841","https://openalex.org/W2103402555","https://openalex.org/W2112087718","https://openalex.org/W2131003004","https://openalex.org/W2407568656","https://openalex.org/W2408287523","https://openalex.org/W2504389667","https://openalex.org/W4235415159","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1547206149","https://openalex.org/W2054891275","https://openalex.org/W2364373416","https://openalex.org/W2042218267","https://openalex.org/W1577005250","https://openalex.org/W2352272361","https://openalex.org/W1871461366","https://openalex.org/W2006410711","https://openalex.org/W2054577134","https://openalex.org/W4244890543"],"abstract_inverted_index":{"This":[0,112],"paper":[1],"proposes":[2],"a":[3,81,95,116],"new":[4],"technique":[5,113],"for":[6,104],"the":[7,42,56,91,133,150],"high-level":[8],"construction":[9],"of":[10,80,97,122,129,153],"type-safe":[11,63],"web-oriented":[12],"user":[13,64,124],"interfaces.":[14],"Our":[15],"approach":[16],"is":[17],"useful":[18],"to":[19,27,61,115,148],"equip":[20],"applications":[21],"processing":[22],"structured":[23],"data":[24,30,43,74],"with":[25,47],"interfaces":[26,38,67,103],"manipulate":[28],"these":[29],"in":[31,132,156],"an":[32,127],"efficient":[33],"and":[34,119,143],"maintainable":[35,120],"way.":[36],"The":[37],"are":[39,146],"web-based,":[40],"i.e.,":[41,66],"can":[44,70,76,108],"be":[45,77,109],"manipulated":[46],"standard":[48,78],"web":[49],"browsers":[50],"without":[51],"any":[52,87],"specific":[53],"requirements":[54],"on":[55,90],"client":[57],"side.":[58],"In":[59,138],"order":[60],"support":[62],"interfaces,":[65],"where":[68],"users":[69],"only":[71],"input":[72],"type-correct":[73],"(types":[75],"types":[79,107],"programming":[82],"language":[83,136],"as":[84,86],"well":[85],"computable":[88],"predicate":[89],"data),":[92],"we":[93],"propose":[94],"set":[96],"type-oriented":[98],"building":[99],"blocks":[100],"from":[101],"which":[102],"more":[105],"complex":[106],"easily":[110],"constructed.":[111],"leads":[114],"very":[117],"concise":[118],"implementation":[121,128],"web-based":[123],"interfacesWe":[125],"show":[126],"this":[130,157],"concept":[131],"declarative":[134],"multi-paradigm":[135],"Curry.":[137],"particular,":[139],"its":[140],"integrated":[141],"functional":[142],"logic":[144],"features":[145],"exploited":[147],"enable":[149],"high":[151],"level":[152],"abstraction":[154],"proposed":[155],"paper.":[158]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}