{"id":"https://openalex.org/W2036614491","doi":"https://doi.org/10.1145/1190315.1190317","title":"Typing ad hoc data","display_name":"Typing ad hoc data","publication_year":2007,"publication_date":"2007-01-16","ids":{"openalex":"https://openalex.org/W2036614491","doi":"https://doi.org/10.1145/1190315.1190317","mag":"2036614491"},"language":"en","primary_location":{"id":"doi:10.1145/1190315.1190317","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190315.1190317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation","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/A5056099984","display_name":"Kathleen Fisher","orcid":"https://orcid.org/0000-0001-5249-2615"},"institutions":[{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kathleen Fisher","raw_affiliation_strings":["AT&T Labs Research"],"affiliations":[{"raw_affiliation_string":"AT&T Labs Research","institution_ids":["https://openalex.org/I1283103587"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5056099984"],"corresponding_institution_ids":["https://openalex.org/I1283103587"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08443694,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"40"},"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.9965000152587891,"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.9965000152587891,"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/T10260","display_name":"Software Engineering Research","score":0.9958000183105469,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9883000254631042,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8109973669052124},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.6970753073692322},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.6369473934173584},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.5410107970237732},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5360413193702698},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5308300852775574},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5171300768852234},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.49462053179740906},{"id":"https://openalex.org/keywords/abstract-data-type","display_name":"Abstract data type","score":0.44663071632385254},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3914075493812561},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.3310284912586212},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3003227710723877}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8109973669052124},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.6970753073692322},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.6369473934173584},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.5410107970237732},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5360413193702698},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5308300852775574},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5171300768852234},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.49462053179740906},{"id":"https://openalex.org/C175971053","wikidata":"https://www.wikidata.org/wiki/Q827335","display_name":"Abstract data type","level":2,"score":0.44663071632385254},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3914075493812561},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3310284912586212},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3003227710723877},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1190315.1190317","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190315.1190317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation","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":8,"referenced_works":["https://openalex.org/W1652311832","https://openalex.org/W1990751139","https://openalex.org/W2096679454","https://openalex.org/W2132843347","https://openalex.org/W2149827273","https://openalex.org/W4232537713","https://openalex.org/W4246839229","https://openalex.org/W4248513939"],"related_works":["https://openalex.org/W4213129642","https://openalex.org/W2112150205","https://openalex.org/W1688372159","https://openalex.org/W2523205872","https://openalex.org/W3132862870","https://openalex.org/W1987975642","https://openalex.org/W174139873","https://openalex.org/W1552423701","https://openalex.org/W1480125535","https://openalex.org/W2001507716"],"abstract_inverted_index":{"Traditionally,":[0],"types":[1,28,69,104,110,215,249],"describe":[2,78,112,238],"the":[3,11,68,118,124,143,160,174,181,196,205,214,239,260],"internal":[4,72,130],"data":[5,15,36,73,114,131,155,223,244,279],"manipulated":[6],"by":[7,51],"programs.":[8],"To":[9],"accommodate":[10],"variety":[12,26],"of":[13,27,44,58,67,163,241,253,262,276],"desired":[14],"structures,":[16],"language":[17],"designers":[18],"and":[19,29,60,85,102,133,137,167,172,201,232,246],"type":[20,30,126,161,228,230,263],"theorists":[21],"have":[22,189],"developed":[23,70],"a":[24,55,274],"wide":[25],"constructors.":[31],"But":[32],"not":[33],"all":[34],"useful":[35],"is":[37],"in":[38,40,54],"programs;":[39],"fact,":[41],"enormous":[42],"amounts":[43],"it":[45,207],"sit":[46],"on":[47,52,159,168,198],"disks":[48],"or":[49],"stream":[50],"wires":[53],"dizzying":[56],"array":[57],"encodings":[59],"formats.":[61],"It":[62],"turns":[63,208],"out":[64,209],"that":[65,120,210],"many":[66],"for":[71,177],"can":[74,122],"be":[75],"used":[76],"to":[77,88,111,117,127,134,140,220,272],"external":[79,113],"data:":[80],"tuples,":[81],"records,":[82],"unions,":[83],"options,":[84],"lists":[86],"come":[87],"mind":[89],"as":[90,107],"obvious":[91],"examples.":[92],"Perhaps":[93],"more":[94],"surprisingly,":[95],"recursive":[96],"types,":[97],"singletons,":[98],"functions,":[99],"parametric":[100],"polymorphism,":[101],"dependent":[103],"are":[105,217,269],"relevant":[106,219],"well.":[108],"Using":[109],"leads":[115],"naturally":[116],"insight":[119],"we":[121,268],"reuse":[123],"same":[125],"define":[128],"an":[129],"structure":[132,162],"generate":[135],"parsing":[136],"printing":[138],"functions":[139],"map":[141],"between":[142],"two":[144],"representations.":[145],"The":[146],"PADS":[147],"project":[148],"[1]":[149],"has":[150],"exploited":[151],"this":[152,192,234],"idea,":[153],"building":[154],"description":[156,275],"languages":[157,179],"based":[158],"C":[164],"(PADS/C":[165],"[3]":[166],"ML":[169],"(PADS/ML":[170],"[5]":[171],"exploring":[173],"theoretical":[175],"basis":[176],"such":[178,254],"with":[180],"Data":[182],"Description":[183],"Calculus":[184],"(DDC)":[185],"[4].":[186],"Other":[187],"groups":[188],"also":[190,218],"leveraged":[191],"insight,":[193],"most":[194],"closely":[195],"work":[197],"DataScript":[199],"[2]":[200],"PacketTypes":[202],"[6].":[203],"Continuing":[204],"analogy,":[206],"other":[211],"concepts":[212],"from":[213],"world":[216],"ad":[221,242,277],"hoc":[222,243,278],"processing,":[224],"including":[225],"generic":[226],"programming,":[227],"inference,":[229,264],"isomorphisms,":[231],"subtyping.In":[233],"talk,":[235],"I":[236,256],"will":[237,257],"domain":[240],"processing":[245],"explain":[247],"how":[248],"enable":[250],"precise":[251],"descriptions":[252],"data.":[255],"then":[258],"explore":[259],"question":[261],"describing":[265],"quantitative":[266],"techniques":[267],"currently":[270],"developing":[271],"construct":[273],"given":[280],"example":[281],"instances.":[282]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}