{"id":"https://openalex.org/W2170732676","doi":null,"title":"Programming with types","display_name":"Programming with types","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2170732676","mag":"2170732676"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.76.5222","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.5222","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.seas.upenn.edu/~sweirich/papers/thesis/thesis.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5049220962","display_name":"Stephanie Weirich","orcid":"https://orcid.org/0000-0002-6756-9168","observed_orcids":["https://orcid.org/0000-0002-6756-9168"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stephanie Weirich","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6756-9168","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5064972235","display_name":"Greg Morrisett","orcid":"https://orcid.org/0000-0002-2619-5614","observed_orcids":["https://orcid.org/0000-0002-2619-5614"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Greg Morrisett","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.3201,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.91750663,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"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":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":1.0,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.0,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.6480000019073486},{"id":"https://openalex.org/keywords/programming-languages","display_name":"programming languages","score":0.6290000081062317},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"garbage collection","score":0.8700000047683716},{"id":"https://openalex.org/keywords/serialization","display_name":"data serialization","score":0.824999988079071},{"id":"https://openalex.org/keywords/reflection","display_name":"reflection","score":0.6669999957084656},{"id":"https://openalex.org/keywords/component-based-framework","display_name":"component-based framework","score":0.7870000004768372},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.7020000219345093},{"id":"https://openalex.org/keywords/program-invariants","display_name":"program invariants","score":0.8330000042915344},{"id":"https://openalex.org/keywords/generic-algorithms","display_name":"generic algorithms","score":0.8429999947547913},{"id":"https://openalex.org/keywords/pattern-matching","display_name":"pattern matching","score":0.75},{"id":"https://openalex.org/keywords/unification","display_name":"unification","score":0.9879999756813049}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8062659502029419},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7148114442825317},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.6355712413787842},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4888109862804413},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.4551718831062317},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.45210736989974976},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4465239346027374},{"id":"https://openalex.org/C7051814","wikidata":"https://www.wikidata.org/wiki/Q1051282","display_name":"Generic programming","level":2,"score":0.44370728731155396},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.42725670337677},{"id":"https://openalex.org/C206146517","wikidata":"https://www.wikidata.org/wiki/Q1294375","display_name":"Third-generation programming language","level":5,"score":0.41265150904655457},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38531187176704407},{"id":"https://openalex.org/C11164408","wikidata":"https://www.wikidata.org/wiki/Q18657800","display_name":"Second-generation programming language","level":4,"score":0.31799912452697754},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.3092172145843506},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.12471610307693481}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.76.5222","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.5222","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.seas.upenn.edu/~sweirich/papers/thesis/thesis.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.76.788","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.788","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.seas.upenn.edu/~sweirich/papers/thesis/thesis.ps","raw_type":"text"},{"id":"mag:2170732676","doi":null,"is_oa":false,"landing_page_url":"https://www.cis.upenn.edu/~sweirich/talks/JobTalk.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":121,"referenced_works":["https://openalex.org/W18425853","https://openalex.org/W25798763","https://openalex.org/W54480172","https://openalex.org/W60185894","https://openalex.org/W85177704","https://openalex.org/W138078219","https://openalex.org/W183703149","https://openalex.org/W326743114","https://openalex.org/W1480674757","https://openalex.org/W1480685649","https://openalex.org/W1488210308","https://openalex.org/W1513579486","https://openalex.org/W1517052937","https://openalex.org/W1517509111","https://openalex.org/W1518704718","https://openalex.org/W1535217452","https://openalex.org/W1535296962","https://openalex.org/W1546727036","https://openalex.org/W1549406551","https://openalex.org/W1557561422","https://openalex.org/W1559765808","https://openalex.org/W1567918249","https://openalex.org/W1580664042","https://openalex.org/W1581378641","https://openalex.org/W1589260337","https://openalex.org/W1597497095","https://openalex.org/W1601172364","https://openalex.org/W1601205865","https://openalex.org/W1605309821","https://openalex.org/W1608714802","https://openalex.org/W1644882639","https://openalex.org/W1775396611","https://openalex.org/W1852211073","https://openalex.org/W1854388022","https://openalex.org/W1905449393","https://openalex.org/W1949275316","https://openalex.org/W1964211642","https://openalex.org/W1965439412","https://openalex.org/W1974398164","https://openalex.org/W1975957807","https://openalex.org/W1979323701","https://openalex.org/W1980939032","https://openalex.org/W1985088747","https://openalex.org/W1986277018","https://openalex.org/W1986382835","https://openalex.org/W1987203566","https://openalex.org/W1989916808","https://openalex.org/W1993209012","https://openalex.org/W1994666727","https://openalex.org/W1996404651","https://openalex.org/W2003295197","https://openalex.org/W2005337919","https://openalex.org/W2009259962","https://openalex.org/W2009464583","https://openalex.org/W2017532341","https://openalex.org/W2025407135","https://openalex.org/W2027584005","https://openalex.org/W2029684521","https://openalex.org/W2030916392","https://openalex.org/W2033185534","https://openalex.org/W2035709547","https://openalex.org/W2037021191","https://openalex.org/W2042372913","https://openalex.org/W2043698751","https://openalex.org/W2044758536","https://openalex.org/W2046645050","https://openalex.org/W2051078013","https://openalex.org/W2053401988","https://openalex.org/W2058137890","https://openalex.org/W2059895047","https://openalex.org/W2062950667","https://openalex.org/W2066550846","https://openalex.org/W2067012475","https://openalex.org/W2069107692","https://openalex.org/W2070430903","https://openalex.org/W2073194447","https://openalex.org/W2073569229","https://openalex.org/W2077381627","https://openalex.org/W2078434561","https://openalex.org/W2082367883","https://openalex.org/W2084788336","https://openalex.org/W2089576225","https://openalex.org/W2094516550","https://openalex.org/W2095136535","https://openalex.org/W2104204098","https://openalex.org/W2104301310","https://openalex.org/W2105045857","https://openalex.org/W2117534212","https://openalex.org/W2118227920","https://openalex.org/W2123360309","https://openalex.org/W2128057448","https://openalex.org/W2131067178","https://openalex.org/W2131770667","https://openalex.org/W2132037187","https://openalex.org/W2133639043","https://openalex.org/W2134762177","https://openalex.org/W2137417304","https://openalex.org/W2137435684","https://openalex.org/W2141636159","https://openalex.org/W2143973850","https://openalex.org/W2149837936","https://openalex.org/W2151015971","https://openalex.org/W2151520617","https://openalex.org/W2152534261","https://openalex.org/W2154273644","https://openalex.org/W2157410569","https://openalex.org/W2159159702","https://openalex.org/W2159591963","https://openalex.org/W2165163976","https://openalex.org/W2166822586","https://openalex.org/W2168287017","https://openalex.org/W2169761811","https://openalex.org/W2171691057","https://openalex.org/W2211325406","https://openalex.org/W2293033370","https://openalex.org/W2294928125","https://openalex.org/W2493130382","https://openalex.org/W2611598995","https://openalex.org/W2787361311","https://openalex.org/W2913811625","https://openalex.org/W3145454088"],"related_works":["https://openalex.org/W313714494","https://openalex.org/W7097917821","https://openalex.org/W238947054","https://openalex.org/W7095869804","https://openalex.org/W1584826156","https://openalex.org/W4232319088","https://openalex.org/W2061285335","https://openalex.org/W7097864609","https://openalex.org/W7097925461","https://openalex.org/W7098285176"],"abstract_inverted_index":{"Cornell":[0],"University":[1],"2002":[2],"Run-time":[3,53],"type":[4,54,102],"analysis":[5,55,103],"is":[6,56],"an":[7],"increasingly":[8],"important":[9],"linguistic":[10],"mechanism":[11],"in":[12],"modern":[13],"programming":[14],"languages.":[15],"Language":[16],"runtime":[17],"systems":[18,62,72],"use":[19],"it":[20,38,69],"to":[21,39,73],"implement":[22],"services":[23],"such":[24],"as":[25],"accurate":[26],"garbage":[27],"collection,":[28],"serialization,":[29],"cloning":[30],"and":[31,47,80,96],"structural":[32],"equality.":[33],"Component":[34],"frameworks":[35],"rely":[36],"on":[37],"provide":[40],"reflection":[41],"mechanisms":[42],"so":[43],"they":[44],"may":[45],"discover":[46],"interact":[48],"with":[49],"program":[50,75],"interfaces":[51],"dynamically.":[52],"also":[57],"crucial":[58],"for":[59,92],"large,":[60],"distributed":[61],"that":[63],"must":[64],"be":[65,99],"dynamically":[66],"extended,":[67],"because":[68],"allows":[70],"those":[71],"check":[74],"invariants":[76],"when":[77],"new":[78,81],"code":[79],"forms":[82],"of":[83],"data":[84],"are":[85],"added.":[86],"Finally,":[87],"many":[88],"generic":[89],"user-level":[90],"algorithms":[91],"iteration,":[93],"pattern":[94],"matching,":[95],"unification":[97],"can":[98],"defined":[100],"through":[101],"mechanisms.":[104]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}