{"id":"https://openalex.org/W4386332929","doi":"https://doi.org/10.1145/3609027","title":"Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development","display_name":"Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development","publication_year":2023,"publication_date":"2023-08-30","ids":{"openalex":"https://openalex.org/W4386332929","doi":"https://doi.org/10.1145/3609027"},"language":"en","primary_location":{"id":"doi:10.1145/3609027","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1145/3609027","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9642999768257141,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9478999972343445,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7094435095787048},{"id":"https://openalex.org/keywords/mainstream","display_name":"Mainstream","score":0.5551891326904297},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.537603497505188},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.5110183954238892},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.4964302182197571},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4854632019996643},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.44889572262763977},{"id":"https://openalex.org/keywords/novelty","display_name":"Novelty","score":0.4189445972442627},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34257519245147705}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7094435095787048},{"id":"https://openalex.org/C2777617010","wikidata":"https://www.wikidata.org/wiki/Q18957","display_name":"Mainstream","level":2,"score":0.5551891326904297},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.537603497505188},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.5110183954238892},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.4964302182197571},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4854632019996643},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.44889572262763977},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.4189445972442627},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34257519245147705},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3609027","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1145/3609027","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.5}],"awards":[{"id":"https://openalex.org/G3456929702","display_name":"SHF: Small: Principled Compiling and Linking for Multi-Language Software","funder_award_id":"1816837","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6014218453","display_name":"CAREER: Verified Compilers for a Multi-Language World","funder_award_id":"1453796","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G893490654","display_name":null,"funder_award_id":"CCF-1453796","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":141,"referenced_works":["https://openalex.org/W20138908","https://openalex.org/W46322832","https://openalex.org/W53839316","https://openalex.org/W149310437","https://openalex.org/W188282463","https://openalex.org/W319887929","https://openalex.org/W569543113","https://openalex.org/W1464569014","https://openalex.org/W1494555245","https://openalex.org/W1495368328","https://openalex.org/W1502282368","https://openalex.org/W1511916234","https://openalex.org/W1537847470","https://openalex.org/W1538992328","https://openalex.org/W1550526517","https://openalex.org/W1551706119","https://openalex.org/W1555859008","https://openalex.org/W1571937260","https://openalex.org/W1573877404","https://openalex.org/W1575675278","https://openalex.org/W1581378641","https://openalex.org/W1595372275","https://openalex.org/W1596014701","https://openalex.org/W1607623316","https://openalex.org/W1845932220","https://openalex.org/W1934896223","https://openalex.org/W1971256104","https://openalex.org/W1971373556","https://openalex.org/W1971591193","https://openalex.org/W1973020382","https://openalex.org/W1974190112","https://openalex.org/W1980939032","https://openalex.org/W1986188859","https://openalex.org/W1991984504","https://openalex.org/W1993030244","https://openalex.org/W2007759294","https://openalex.org/W2008132476","https://openalex.org/W2012968289","https://openalex.org/W2018181305","https://openalex.org/W2022300126","https://openalex.org/W2027584005","https://openalex.org/W2036378583","https://openalex.org/W2038237961","https://openalex.org/W2047497632","https://openalex.org/W2052973434","https://openalex.org/W2057292961","https://openalex.org/W2062018590","https://openalex.org/W2067618205","https://openalex.org/W2069858276","https://openalex.org/W2076653850","https://openalex.org/W2081109124","https://openalex.org/W2086571520","https://openalex.org/W2090046646","https://openalex.org/W2094269821","https://openalex.org/W2101443478","https://openalex.org/W2102339469","https://openalex.org/W2102699068","https://openalex.org/W2103240295","https://openalex.org/W2103380617","https://openalex.org/W2104795876","https://openalex.org/W2104815907","https://openalex.org/W2109375905","https://openalex.org/W2109518186","https://openalex.org/W2114058479","https://openalex.org/W2114834520","https://openalex.org/W2117477507","https://openalex.org/W2126730327","https://openalex.org/W2128303158","https://openalex.org/W2129533663","https://openalex.org/W2131916293","https://openalex.org/W2141210774","https://openalex.org/W2144160229","https://openalex.org/W2150998213","https://openalex.org/W2153895433","https://openalex.org/W2162053995","https://openalex.org/W2163551975","https://openalex.org/W2163738369","https://openalex.org/W2163806865","https://openalex.org/W2166822586","https://openalex.org/W2284690928","https://openalex.org/W2293786458","https://openalex.org/W2295283668","https://openalex.org/W2402209726","https://openalex.org/W2514838807","https://openalex.org/W2539859881","https://openalex.org/W2561708922","https://openalex.org/W2604664164","https://openalex.org/W2610968094","https://openalex.org/W2625268615","https://openalex.org/W2753479937","https://openalex.org/W2757812197","https://openalex.org/W2761120147","https://openalex.org/W2766220735","https://openalex.org/W2776685097","https://openalex.org/W2779850521","https://openalex.org/W2798013195","https://openalex.org/W2799182172","https://openalex.org/W2886134830","https://openalex.org/W2897762392","https://openalex.org/W2899873839","https://openalex.org/W2900188961","https://openalex.org/W2911865844","https://openalex.org/W2912106379","https://openalex.org/W2947683711","https://openalex.org/W2963153477","https://openalex.org/W2964755768","https://openalex.org/W2965353800","https://openalex.org/W2994621632","https://openalex.org/W2995454438","https://openalex.org/W3030119148","https://openalex.org/W3104826616","https://openalex.org/W3107339655","https://openalex.org/W3109383821","https://openalex.org/W3110513392","https://openalex.org/W3117925125","https://openalex.org/W3122287590","https://openalex.org/W3123828280","https://openalex.org/W3137596000","https://openalex.org/W3160402515","https://openalex.org/W3181070739","https://openalex.org/W3187876763","https://openalex.org/W3195241200","https://openalex.org/W3214746205","https://openalex.org/W4205625158","https://openalex.org/W4225132403","https://openalex.org/W4226031883","https://openalex.org/W4230237632","https://openalex.org/W4231716923","https://openalex.org/W4232645513","https://openalex.org/W4233387250","https://openalex.org/W4233723952","https://openalex.org/W4235593108","https://openalex.org/W4239999910","https://openalex.org/W4240775947","https://openalex.org/W4245120671","https://openalex.org/W4249824250","https://openalex.org/W4256135566","https://openalex.org/W4281974386","https://openalex.org/W4319920391","https://openalex.org/W4386324403","https://openalex.org/W4391421510"],"related_works":["https://openalex.org/W2381242807","https://openalex.org/W2751208925","https://openalex.org/W2377237701","https://openalex.org/W2360099860","https://openalex.org/W1583826057","https://openalex.org/W2352463596","https://openalex.org/W2347541121","https://openalex.org/W2380850119","https://openalex.org/W2101450440","https://openalex.org/W4377083876"],"abstract_inverted_index":{"Welcome":[0],"to":[1,40,93,162,175,215,253,257],"the":[2,15,53,60,123,141,144,147,167,184,195,201,216,246,258,260,264,267,272],"8th":[3],"ACM":[4,168],"SIGPLAN":[5],"International":[6,16],"Workshop":[7,54,61],"on":[8,18,55,62,183],"Type-Driven":[9],"Development":[10],"(TyDe":[11],"2023),":[12],"co-located":[13],"with":[14],"Conference":[17],"Functional":[19],"Programming":[20,58],"(ICFP":[21],"2023).":[22],"The":[23,135,153],"workshop":[24,98,136,185],"brings":[25],"together":[26],"leading":[27],"researchers":[28],"and":[29,59,76,78,105,113,119,121,125,171,203,208,213,224,231,271],"practitioners":[30],"who":[31],"are":[32],"using":[33],"or":[34],"exploring":[35],"types":[36,80,131],"as":[37,109,111],"a":[38,47,70,239],"means":[39],"support":[41],"program":[42,196,261],"development.":[43],"Historically,":[44],"TyDe":[45,217,268],"is":[46],"merging":[48],"of":[49,102,116,127,146,194,205,228,245,248,274],"two":[50,66],"previous":[51],"workshops:":[52],"Dependently":[56],"Typed":[57],"Generic":[63],"Programming.":[64],"These":[65],"research":[67],"areas":[68],"have":[69,90],"rich":[71],"history,":[72],"bridging":[73],"both":[74,88,158],"theory":[75],"practice,":[77],"having":[79],"at":[81],"their":[82,206],"core.":[83],"Novel":[84],"techniques":[85],"explored":[86],"by":[87,191,242],"communities":[89],"gradually":[91],"spread":[92],"more":[94],"mainstream":[95],"languages.":[96],"This":[97],"thus":[99],"covers":[100],"topics":[101],"generic":[103],"programming":[104,128],"dependently":[106],"typed":[107],"programming,":[108],"well":[110],"static":[112],"dynamic":[114],"analyses":[115],"types,":[117],"tools":[118],"IDEs,":[120],"generally":[122],"design":[124],"implementation":[126],"languages":[129],"exploiting":[130],"in":[132,149,166],"novel":[133],"ways.":[134],"features":[137],"contributions":[138],"from":[139],"around":[140],"world":[142],"capturing":[143],"state":[145],"art":[148],"these":[150],"important":[151],"areas.":[152],"call":[154],"for":[155,200,211],"submissions":[156],"sought":[157],"full":[159,198,222],"papers":[160,199,223],"(up":[161,174],"12":[163],"pages,":[164,177],"published":[165,180],"Digital":[169],"Library)":[170],"extended":[172,209,226],"abstracts":[173,210],"3":[176],"not":[178],"formally":[179],"but":[181],"posted":[182],"webpage).":[186],"Each":[187],"submission":[188],"was":[189],"evaluated":[190],"2--3":[192],"members":[193],"committee:":[197],"novelty":[202],"significance":[204],"results,":[207],"relevance":[212],"interest":[214],"community.":[218],"We":[219,236,250],"received":[220],"7":[221,232],"8":[225],"abstracts,":[227],"which":[229],"5":[230],"respectively":[233],"were":[234],"accepted.":[235],"also":[237],"had":[238],"keynote":[240],"talk":[241],"Jeremy":[243],"Gibbons":[244],"University":[247],"Oxford.":[249],"would":[251],"like":[252],"express":[254],"our":[255],"thanks":[256],"contributors,":[259],"committee":[262],"members,":[263],"external":[265],"reviewers,":[266],"steering":[269],"committee,":[270],"organizers":[273],"ICFP":[275],"2023.":[276]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}