{"id":"https://openalex.org/W2910374849","doi":"https://doi.org/10.1145/3236454.3236475","title":"Monotonic gradual typing in a common calculus","display_name":"Monotonic gradual typing in a common calculus","publication_year":2018,"publication_date":"2018-07-16","ids":{"openalex":"https://openalex.org/W2910374849","doi":"https://doi.org/10.1145/3236454.3236475","mag":"2910374849"},"language":"en","primary_location":{"id":"doi:10.1145/3236454.3236475","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236454.3236475","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings for the ISSTA/ECOOP 2018 Workshops","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/A5008191145","display_name":"Benjamin Chung","orcid":"https://orcid.org/0000-0001-9238-7334"},"institutions":[{"id":"https://openalex.org/I87182695","display_name":"Universidad del Noreste","ror":"https://ror.org/02ahky613","country_code":"MX","type":"education","lineage":["https://openalex.org/I87182695"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Benjamin Chung","raw_affiliation_strings":["Northeastern University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University","institution_ids":["https://openalex.org/I87182695"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084307280","display_name":"Jan V\u00edtek","orcid":"https://orcid.org/0000-0003-4052-3458"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jan Vitek","raw_affiliation_strings":["Northeastern and CTU"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern and CTU","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.169,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.63056691,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"17","last_page":"23"},"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.9994999766349792,"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.9994999766349792,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9955999851226807,"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/computer-science","display_name":"Computer science","score":0.759543776512146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7457606792449951},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6690382361412048},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.6051228642463684},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.5456394553184509},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5351064801216125},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5069832801818848},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12451252341270447}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.759543776512146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7457606792449951},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6690382361412048},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.6051228642463684},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.5456394553184509},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5351064801216125},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5069832801818848},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12451252341270447},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3236454.3236475","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236454.3236475","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings for the ISSTA/ECOOP 2018 Workshops","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":5,"referenced_works":["https://openalex.org/W2052973434","https://openalex.org/W2295415424","https://openalex.org/W2762605937","https://openalex.org/W2788315908","https://openalex.org/W4229717394"],"related_works":["https://openalex.org/W2245685274","https://openalex.org/W3042312155","https://openalex.org/W3021003119","https://openalex.org/W3007870257","https://openalex.org/W2610513781","https://openalex.org/W2910115471","https://openalex.org/W2112801462","https://openalex.org/W2503735611","https://openalex.org/W2089740622","https://openalex.org/W2698428943"],"abstract_inverted_index":{"Gradual":[0],"typing":[1],"refers":[2],"to":[3,20,39,97,122,136,162,174,182,198,206,213],"the":[4,45,78,88,109,114,124,156,169,175,177,184,207],"notion":[5],"that":[6,16,159],"programs":[7,25],"can":[8],"be":[9],"incrementally":[10],"decorated":[11],"with":[12,70],"type":[13,62,67,99,139,216],"annotations.":[14],"Languages":[15],"support":[17],"this":[18,48],"approach":[19],"software":[21],"development":[22],"allow":[23],"for":[24,150,168],"being":[26],"in":[27,44,108,218],"various":[28],"states":[29],"of":[30,47,80,91,111,126,158,186],"\"typedness\"":[31],"on":[32],"a":[33,131,166,192,199],"scale":[34,50],"ranging":[35],"from":[36],"entirely":[37],"untyped":[38,56],"fully":[40],"statically":[41,201],"typed.":[42],"Points":[43],"middle":[46],"typed-untyped":[49],"create":[51],"interactions":[52],"between":[53],"typed":[54,127,187,195,202],"and":[55,164],"code,":[57],"which":[58],"is":[59,120,180],"where":[60],"gradual":[61,66,138,151,215],"systems":[63,73,217],"differ.":[64],"Each":[65],"system":[68],"comes":[69],"tradeoffs.":[71],"Some":[72],"provide":[74],"strong":[75],"guarantees":[76],"at":[77,104],"expense":[79],"vastly":[81],"degraded":[82],"performance;":[83],"others":[84],"do":[85,95],"not":[86],"impact":[87],"running":[89],"time":[90],"programs,":[92],"but":[93],"they":[94],"little":[96],"prevent":[98],"errors.":[100],"This":[101,153],"paper":[102,154,161],"looks":[103],"an":[105],"intriguing":[106],"point":[107],"landscape":[110],"these":[112],"systems:":[113],"monotonic":[115,118,170,178,208],"semantics.":[116,171],"The":[117],"semantics":[119,149,179],"designed":[121,181],"reduce":[123,183],"overhead":[125,185],"field":[128,188],"access":[129],"through":[130],"different":[132],"enforcement":[133],"mechanism":[134],"compared":[135],"other":[137,214],"systems.":[140],"In":[141,172],"our":[142,219],"previous":[143],"paper,":[144],"[1],":[145],"we":[146],"described":[147],"four":[148],"typing.":[152],"uses":[155],"framework":[157],"companion":[160],"present":[163],"explore":[165],"formulation":[167],"comparison":[173,212],"others,":[176],"access.":[189],"We":[190],"translate":[191],"common":[193,200],"gradually":[194],"source":[196],"language":[197,204],"target":[203],"according":[205],"semantics,":[209],"allowing":[210],"easy":[211],"framework.":[220]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}