{"id":"https://openalex.org/W4238825002","doi":"https://doi.org/10.1145/3240719","title":"Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development","display_name":"Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development","publication_year":2018,"publication_date":"2018-09-18","ids":{"openalex":"https://openalex.org/W4238825002","doi":"https://doi.org/10.1145/3240719"},"language":"en","primary_location":{"id":"doi:10.1145/3240719","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3240719","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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9951000213623047,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9951000213623047,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9948999881744385,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9923999905586243,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.9459868669509888},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8004149198532104},{"id":"https://openalex.org/keywords/generic-programming","display_name":"Generic programming","score":0.7155437469482422},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.681911289691925},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.5906823873519897},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.5501381754875183},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5412724614143372},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5412400364875793},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.41098758578300476},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33835741877555847},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.2836211323738098},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.24566280841827393}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.9459868669509888},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8004149198532104},{"id":"https://openalex.org/C7051814","wikidata":"https://www.wikidata.org/wiki/Q1051282","display_name":"Generic programming","level":2,"score":0.7155437469482422},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.681911289691925},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.5906823873519897},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5501381754875183},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5412724614143372},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5412400364875793},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.41098758578300476},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33835741877555847},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.2836211323738098},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.24566280841827393},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3240719","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3240719","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2952185493","https://openalex.org/W2536586774","https://openalex.org/W4238823939","https://openalex.org/W4249191812","https://openalex.org/W2137857582","https://openalex.org/W3151958197","https://openalex.org/W2524708062","https://openalex.org/W2182346919","https://openalex.org/W2301545550","https://openalex.org/W3212744718"],"abstract_inverted_index":{"We":[0,17],"present":[1],"hamm,":[2],"a":[3],"Haskell":[4],"library":[5],"that":[6],"enables":[7],"programmers":[8],"to":[9,23],"easily":[10],"configure":[11],"authenticated":[12],"map":[13,33],"(key-value":[14],"store)":[15],"implementations.":[16],"use":[18],"type":[19],"level":[20],"programming":[21],"techniques":[22],"establish":[24],"an":[25,30],"extensible":[26],"foundation,":[27],"and":[28,34],"provide":[29],"example":[31],"base":[32],"...":[35]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}