{"id":"https://openalex.org/W1974398164","doi":"https://doi.org/10.1017/s0956796801004282","title":"Intensional polymorphism in type-erasure semantics","display_name":"Intensional polymorphism in type-erasure semantics","publication_year":2002,"publication_date":"2002-11-01","ids":{"openalex":"https://openalex.org/W1974398164","doi":"https://doi.org/10.1017/s0956796801004282","mag":"1974398164"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796801004282","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796801004282","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B46353534BE6D97919C442C4BD326845/S0956796801004282a.pdf/div-class-title-intensional-polymorphism-in-type-erasure-semantics-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B46353534BE6D97919C442C4BD326845/S0956796801004282a.pdf/div-class-title-intensional-polymorphism-in-type-erasure-semantics-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045900536","display_name":"Karl Crary","orcid":"https://orcid.org/0000-0002-1556-2183"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"KARL CRARY","raw_affiliation_strings":["Carnegie Mellon University, School of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA","Carnegie Mellon University, School of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, School of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie Mellon University, School of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA#TAB#","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049220962","display_name":"Stephanie Weirich","orcid":"https://orcid.org/0000-0002-6756-9168"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"STEPHANIE WEIRICH","raw_affiliation_strings":["Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA","Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA#TAB#","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064972235","display_name":"Greg Morrisett","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"GREG MORRISETT","raw_affiliation_strings":["Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA","Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA#TAB#","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5045900536"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":4.6893,"has_fulltext":true,"cited_by_count":48,"citation_normalized_percentile":{"value":0.95018023,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"12","issue":"6","first_page":"567","last_page":"600"},"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.9995999932289124,"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.9995999932289124,"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.9937999844551086,"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/T11424","display_name":"Security and Verification in Computing","score":0.9905999898910522,"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.8461997509002686},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.6499408483505249},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5881928205490112},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.5449200868606567},{"id":"https://openalex.org/keywords/marshalling","display_name":"Marshalling","score":0.5213831067085266},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.49977707862854004},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4476102590560913},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.42137324810028076},{"id":"https://openalex.org/keywords/abstract-data-type","display_name":"Abstract data type","score":0.4203948676586151},{"id":"https://openalex.org/keywords/erasure","display_name":"Erasure","score":0.4165460765361786},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.2435798943042755},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.10454577207565308}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8461997509002686},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.6499408483505249},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5881928205490112},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.5449200868606567},{"id":"https://openalex.org/C206019424","wikidata":"https://www.wikidata.org/wiki/Q373671","display_name":"Marshalling","level":2,"score":0.5213831067085266},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.49977707862854004},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4476102590560913},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.42137324810028076},{"id":"https://openalex.org/C175971053","wikidata":"https://www.wikidata.org/wiki/Q827335","display_name":"Abstract data type","level":2,"score":0.4203948676586151},{"id":"https://openalex.org/C2778790127","wikidata":"https://www.wikidata.org/wiki/Q484885","display_name":"Erasure","level":2,"score":0.4165460765361786},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.2435798943042755},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.10454577207565308},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":12,"locations":[{"id":"doi:10.1017/s0956796801004282","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796801004282","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B46353534BE6D97919C442C4BD326845/S0956796801004282a.pdf/div-class-title-intensional-polymorphism-in-type-erasure-semantics-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},{"id":"pmh:oai:ecommons.cornell.edu:1813/7375","is_oa":true,"landing_page_url":"http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR98-1721","pdf_url":"https://hdl.handle.net/1813/7375","source":{"id":"https://openalex.org/S4306400757","display_name":"eCommons (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"technical report"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.12.8063","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.8063","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-2.cs.cmu.edu/~crary/papers/2002/typepass/typepass.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.22.2772","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2772","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~crary/papers/1998/typepass/typepass-tr.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.30.7412","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7412","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cornell.edu/talc/papers/typepass.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.31.5590","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5590","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cornell.edu/sweirich/papers/typepass/typepass.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.33.646","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.646","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/afs/cs/user/crary/www/papers/1998/typepass/typepass.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.461.9716","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.9716","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://dspace.library.cornell.edu/bitstream/1813/7375/1/98-1721.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.5.4507","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.4507","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cornell.edu/sweirich/papers/typepass/typepass-tr.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.64.4254","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4254","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/typepass/typepass.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.65.6075","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.6075","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/typepass/typepass-tr.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.81.4462","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.4462","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/typepass/typepass-tr.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1017/s0956796801004282","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796801004282","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B46353534BE6D97919C442C4BD326845/S0956796801004282a.pdf/div-class-title-intensional-polymorphism-in-type-erasure-semantics-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1974398164.pdf","grobid_xml":"https://content.openalex.org/works/W1974398164.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W54480172","https://openalex.org/W60185894","https://openalex.org/W313714494","https://openalex.org/W326743114","https://openalex.org/W1480674757","https://openalex.org/W1589846171","https://openalex.org/W1745702688","https://openalex.org/W1978074076","https://openalex.org/W1980939032","https://openalex.org/W1986382835","https://openalex.org/W1988661738","https://openalex.org/W2024398154","https://openalex.org/W2030916392","https://openalex.org/W2037021191","https://openalex.org/W2043698751","https://openalex.org/W2048569219","https://openalex.org/W2067012475","https://openalex.org/W2069107692","https://openalex.org/W2070430903","https://openalex.org/W2073569229","https://openalex.org/W2082367883","https://openalex.org/W2104204098","https://openalex.org/W2118227920","https://openalex.org/W2131067178","https://openalex.org/W2133639043","https://openalex.org/W2138875086","https://openalex.org/W2152954816","https://openalex.org/W2169761811","https://openalex.org/W2171691057","https://openalex.org/W2293033370","https://openalex.org/W3009279359","https://openalex.org/W3031340338","https://openalex.org/W4235662267","https://openalex.org/W4237650395","https://openalex.org/W4242024236","https://openalex.org/W4245292236","https://openalex.org/W4249199805","https://openalex.org/W4254251462"],"related_works":["https://openalex.org/W1524407890","https://openalex.org/W2136025660","https://openalex.org/W2093229225","https://openalex.org/W2189400414","https://openalex.org/W3145485722","https://openalex.org/W1491993748","https://openalex.org/W152483390","https://openalex.org/W1545727638","https://openalex.org/W4230341943","https://openalex.org/W2157410569"],"abstract_inverted_index":{"Intensional":[0],"polymorphism,":[1,104],"the":[2,81,109,127],"ability":[3],"to":[4,6,51,60,132,155],"dispatch":[5],"different":[7],"routines":[8],"based":[9],"on":[10],"types":[11,55,154],"at":[12,63,80],"run":[13,64],"time,":[14],"enables":[15],"a":[16,47,70,98],"variety":[17],"of":[18,72,77,108,111],"advanced":[19],"implementation":[20],"techniques":[21],"for":[22],"polymorphic":[23,32,61,93],"languages,":[24],"including":[25],"tag-free":[26],"garbage":[27],"collection,":[28],"unboxed":[29],"function":[30],"arguments,":[31],"marshalling":[33],"and":[34,58,83,89,135],"attened":[35],"data":[36],"structures.":[37],"To":[38],"date,":[39],"languages":[40],"that":[41,101],"support":[42],"intensional":[43,103],"polymorphism":[44],"have":[45],"required":[46,164],"type-passing":[48,67],"(as":[49],"opposed":[50],"type-erasure)":[52],"interpretation":[53],"where":[54],"are":[56],"constructed":[57],"passed":[59],"functions":[62],"time.":[65],"Unfortunately,":[66],"suffers":[68],"from":[69],"number":[71],"drawbacks:":[73],"it":[74,86,90,151],"requires":[75],"duplication":[76,128],"run-time":[78,117],"constructs":[79],"term":[82],"type":[84,112,118,144],"levels,":[85],"prevents":[87],"abstraction,":[88,134],"severely":[91],"complicates":[92],"closure":[94,139],"conversion.":[95,140],"We":[96],"present":[97],"type-theoretic":[99],"framework":[100],"supports":[102],"but":[105],"avoids":[106,126,136],"many":[107],"disadvantages":[110],"passing.":[113],"In":[114,141],"our":[115,143],"approach,":[116],"information":[119],"is":[120],"represented":[121],"by":[122,165],"ordinary":[123],"terms.":[124],"This":[125],"problem,":[129],"allows":[130,152],"us":[131],"recover":[133],"complications":[137],"with":[138],"addition,":[142],"system":[145],"provides":[146],"another":[147],"improvement":[148],"in":[149,158],"expressiveness;":[150],"unknown":[153],"be":[156],"refined":[157],"place,":[159],"thereby":[160],"avoiding":[161],"certain":[162],"beta-expansions":[163],"other":[166],"frameworks.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}