{"id":"https://openalex.org/W3119263191","doi":"https://doi.org/10.17760/d20398329","title":"Deep and shallow types","display_name":"Deep and shallow types","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3119263191","doi":"https://doi.org/10.17760/d20398329","mag":"3119263191"},"language":"en","primary_location":{"id":"doi:10.17760/d20398329","is_oa":true,"landing_page_url":"https://doi.org/10.17760/d20398329","pdf_url":"https://repository.library.northeastern.edu/files/neu:bz60d0085/fulltext.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Northeastern University","raw_type":"dissertation"},"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://repository.library.northeastern.edu/files/neu:bz60d0085/fulltext.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002785598","display_name":"Ben Greenman","orcid":"https://orcid.org/0000-0001-7078-9287"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ben Greenman","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5002785598"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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.9990000128746033,"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.9976000189781189,"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.996399998664856,"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.7039429545402527},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.5733368992805481},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5426105260848999},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5285954475402832},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.45315879583358765},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10982775688171387}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7039429545402527},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5733368992805481},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5426105260848999},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5285954475402832},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.45315879583358765},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10982775688171387},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.17760/d20398329","is_oa":true,"landing_page_url":"https://doi.org/10.17760/d20398329","pdf_url":"https://repository.library.northeastern.edu/files/neu:bz60d0085/fulltext.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Northeastern University","raw_type":"dissertation"}],"best_oa_location":{"id":"doi:10.17760/d20398329","is_oa":true,"landing_page_url":"https://doi.org/10.17760/d20398329","pdf_url":"https://repository.library.northeastern.edu/files/neu:bz60d0085/fulltext.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Northeastern University","raw_type":"dissertation"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.6000000238418579,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3119263191.pdf","grobid_xml":"https://content.openalex.org/works/W3119263191.grobid-xml"},"referenced_works_count":111,"referenced_works":["https://openalex.org/W60406932","https://openalex.org/W87876516","https://openalex.org/W103523709","https://openalex.org/W648299190","https://openalex.org/W753900477","https://openalex.org/W823394483","https://openalex.org/W1423599523","https://openalex.org/W1526601993","https://openalex.org/W1587667242","https://openalex.org/W1647671624","https://openalex.org/W1726238843","https://openalex.org/W1778142413","https://openalex.org/W1934896223","https://openalex.org/W1963954367","https://openalex.org/W1967698620","https://openalex.org/W1973186567","https://openalex.org/W1980939032","https://openalex.org/W1983256770","https://openalex.org/W1987203566","https://openalex.org/W1995096956","https://openalex.org/W2003969655","https://openalex.org/W2007313703","https://openalex.org/W2013844469","https://openalex.org/W2014472261","https://openalex.org/W2024799315","https://openalex.org/W2043133575","https://openalex.org/W2044710350","https://openalex.org/W2051494444","https://openalex.org/W2052973434","https://openalex.org/W2059513841","https://openalex.org/W2070179848","https://openalex.org/W2073686054","https://openalex.org/W2075981791","https://openalex.org/W2096368963","https://openalex.org/W2097013380","https://openalex.org/W2098491453","https://openalex.org/W2100759424","https://openalex.org/W2100962534","https://openalex.org/W2101718506","https://openalex.org/W2102473657","https://openalex.org/W2110549939","https://openalex.org/W2111531191","https://openalex.org/W2112857708","https://openalex.org/W2123200683","https://openalex.org/W2123357908","https://openalex.org/W2131242794","https://openalex.org/W2133828278","https://openalex.org/W2150998213","https://openalex.org/W2153631167","https://openalex.org/W2166822586","https://openalex.org/W2183621552","https://openalex.org/W2218092420","https://openalex.org/W2252374344","https://openalex.org/W2253750756","https://openalex.org/W2284690928","https://openalex.org/W2295415424","https://openalex.org/W2509653070","https://openalex.org/W2522200425","https://openalex.org/W2527882685","https://openalex.org/W2529320962","https://openalex.org/W2535658741","https://openalex.org/W2561856298","https://openalex.org/W2577833380","https://openalex.org/W2610416669","https://openalex.org/W2621005330","https://openalex.org/W2728359856","https://openalex.org/W2751329183","https://openalex.org/W2751966562","https://openalex.org/W2753328850","https://openalex.org/W2760972573","https://openalex.org/W2762605937","https://openalex.org/W2764150781","https://openalex.org/W2781403051","https://openalex.org/W2829799950","https://openalex.org/W2883248588","https://openalex.org/W2885244083","https://openalex.org/W2886526538","https://openalex.org/W2898103424","https://openalex.org/W2898188067","https://openalex.org/W2900351133","https://openalex.org/W2911692446","https://openalex.org/W2913126208","https://openalex.org/W2915101224","https://openalex.org/W2915869386","https://openalex.org/W2955672207","https://openalex.org/W2962829798","https://openalex.org/W2965144419","https://openalex.org/W2979470607","https://openalex.org/W2979571054","https://openalex.org/W2994988999","https://openalex.org/W2995454438","https://openalex.org/W2999589555","https://openalex.org/W3004589000","https://openalex.org/W3009600509","https://openalex.org/W3014933227","https://openalex.org/W3152003655","https://openalex.org/W3206710941","https://openalex.org/W3208414194","https://openalex.org/W4233840857","https://openalex.org/W4234662752","https://openalex.org/W4240775947","https://openalex.org/W4243257852","https://openalex.org/W4244704866","https://openalex.org/W4245120671","https://openalex.org/W4247072772","https://openalex.org/W4248071075","https://openalex.org/W4250108782","https://openalex.org/W4252110879","https://openalex.org/W4253591485","https://openalex.org/W4285719527","https://openalex.org/W4289766111"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2379153735","https://openalex.org/W2046172023","https://openalex.org/W2972896947","https://openalex.org/W2170146914","https://openalex.org/W2355105570","https://openalex.org/W622882839","https://openalex.org/W2185017216","https://openalex.org/W2016345697"],"abstract_inverted_index":{"The":[0,157],"design":[1,32,118],"space":[2],"of":[3,37,43,79,136,153,208,253],"mixed-typed":[4,91,111,137],"languages":[5,92,112],"is":[6,123,142],"lively":[7],"but":[8,224],"disorganized.":[9],"On":[10,57],"one":[11],"hand,":[12,60],"researchers":[13],"across":[14],"academia":[15],"and":[16,47,113,171,201,216,235,244,249],"industry":[17],"have":[18,85],"contributed":[19],"language":[20,129,148],"designs":[21,64,200],"that":[22,87,95,127,146,204,242],"allow":[23],"typed":[24,45,164],"code":[25,51,165,174],"to":[26,74,116,131,150,191,198],"interoperate":[27,248],"with":[28,52,62,168],"untyped":[29,50,169,173],"code.":[30],"These":[31],"efforts":[33],"explore":[34],"a":[35,44,53,124,143,189,206,226,254],"range":[36],"goals;":[38],"some":[39],"improve":[40],"the":[41,58,76,117,134,154,196,212,251],"expressiveness":[42],"language,":[46],"others":[48,94],"strengthen":[49],"tailor-made":[54],"type":[55,97,155],"system.":[56,156],"other":[59],"experience":[61],"type-sound":[63],"has":[65],"revealed":[66],"major":[67],"challenges.":[68],"We":[69],"do":[70,83],"not":[71],"know":[72],"how":[73],"measure":[75,133],"performance":[77],"costs":[78],"sound":[80],"interaction.":[81,138],"Nor":[82],"we":[84],"criteria":[86],"distinguish":[88],"``truly":[89],"sound''":[90],"from":[93,211],"enforce":[96],"obligations":[98],"locally":[99],"rather":[100],"than":[101],"globally.":[102],"In":[103],"this":[104],"dissertation,":[105],"I":[106,194],"introduce":[107],"methods":[108,197],"for":[109],"assessing":[110],"bring":[114],"order":[115],"space.":[119],"My":[120,139],"first":[121],"contribution":[122,141],"performance-analysis":[125],"method":[126,145,158],"allows":[128,147],"implementors":[130],"systematically":[132],"cost":[135],"second":[140],"design-analysis":[144],"designers":[149],"understand":[151],"implications":[152],"addresses":[159],"two":[160,209],"central":[161],"questions:":[162],"whether":[163,172,184],"can":[166,175,187,247],"cope":[167],"values,":[170],"trust":[176],"static":[177],"types.":[178,218],"Further":[179],"distinctions":[180],"arise":[181],"by":[182],"asking":[183],"error":[185],"outputs":[186],"direct":[188],"programmer":[190],"potentially-faulty":[192],"interactions.":[193],"apply":[195],"several":[199],"discover":[202],"limitations":[203],"motivate":[205],"synthesis":[207],"ideas":[210],"literature:":[213],"deep":[214,243],"types":[215,220,231,246],"shallow":[217,245],"Deep":[219],"offer":[221,232],"strong":[222],"guarantees":[223,234],"impose":[225],"high":[227],"interaction":[228],"cost.":[229],"Shallow":[230],"weak":[233],"better":[236],"worst-case":[237],"costs.":[238],"This":[239],"dissertation":[240],"proves":[241],"measures":[250],"benefits":[252],"three-way":[255],"mix.":[256]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}