{"id":"https://openalex.org/W89142087","doi":null,"title":"Pluggable, Iterative Type Checking for Dynamic Programming Languages","display_name":"Pluggable, Iterative Type Checking for Dynamic Programming Languages","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W89142087","mag":"89142087"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.115.2802","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.2802","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.doc.ic.ac.uk/~tora/previous/project/Report.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/A5012006988","display_name":"Tristan O.R. Allwood","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tristan O.R. Allwood","raw_affiliation_strings":["Imperial College London,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London,#TAB#","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026471462","display_name":"Sophia Drossopoulou","orcid":"https://orcid.org/0000-0002-1993-1142","observed_orcids":["https://orcid.org/0000-0002-1993-1142"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sophia Drossopoulou","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-1993-1142","affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10743","display_name":"Software Testing and Debugging Techniques","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/T10260","display_name":"Software Engineering Research","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/dynamically-typed-languages","display_name":"dynamically typed languages","score":0.8119999766349792},{"id":"https://openalex.org/keywords/static-type-checking","display_name":"static type checking","score":0.7059999704360962},{"id":"https://openalex.org/keywords/dynamic-programming-languages","display_name":"dynamic languages","score":0.4350000023841858},{"id":"https://openalex.org/keywords/early-error-detection","display_name":"early error detection","score":0.578000009059906},{"id":"https://openalex.org/keywords/test-driven-development","display_name":"test-driven development","score":0.4830000102519989},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.3179999887943268}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8172842860221863},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8139735460281372},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.742141842842102},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5194987058639526},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5161717534065247},{"id":"https://openalex.org/C2779913896","wikidata":"https://www.wikidata.org/wiki/Q7063001","display_name":"Notice","level":2,"score":0.47252967953681946},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4586913287639618},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.115.2802","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.2802","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.doc.ic.ac.uk/~tora/previous/project/Report.pdf","raw_type":"text"},{"id":"mag:89142087","doi":null,"is_oa":false,"landing_page_url":"https://www.doc.ic.ac.uk/~tora/previous/project/Report.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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W143162329","https://openalex.org/W1519267917","https://openalex.org/W1530151067","https://openalex.org/W1544633123","https://openalex.org/W1553391613","https://openalex.org/W1553894716","https://openalex.org/W1555609626","https://openalex.org/W1555946950","https://openalex.org/W1557561422","https://openalex.org/W1578785003","https://openalex.org/W1770006921","https://openalex.org/W1854764556","https://openalex.org/W1974170312","https://openalex.org/W2005192022","https://openalex.org/W2030611910","https://openalex.org/W2043487183","https://openalex.org/W2053664570","https://openalex.org/W2066583243","https://openalex.org/W2067872353","https://openalex.org/W2109879514","https://openalex.org/W2141210774"],"related_works":["https://openalex.org/W6959012720","https://openalex.org/W2127552757","https://openalex.org/W7098515408","https://openalex.org/W7096525541","https://openalex.org/W7098565860","https://openalex.org/W3005813326","https://openalex.org/W3200996499","https://openalex.org/W4230560939","https://openalex.org/W2969349724","https://openalex.org/W2104216136"],"abstract_inverted_index":{"Dynamically":[0],"typed":[1,178,251,307],"programming":[2,179,252],"languages":[3],"are":[4,30,62,100,143,231,236,276],"great.":[5],"They":[6,16,39,51,142],"can":[7,204,217],"be":[8,65,120,129,147,183,205,218,596],"highly":[9],"expressive,":[10],"incredibly":[11],"flexible,":[12],"and":[13,103,193,229,408,419,424,469,493,498,525,566,588],"very":[14],"powerful.":[15],"free":[17],"a":[18,134,150,170,176,184,285,304,508,554],"programmer":[19,54],"of":[20,23,116,191,225,245,269,303,437,485,512,515,531,542,556],"the":[21,37,45,53,57,69,90,93,137,164,189,201,208,222,226,243,270,301,429,435,473,483,540,543,548],"chains":[22],"needing":[24],"to":[25,55,64,67,73,80,207,214,406,428,440,449,461,465,472,479,505,539,561,580],"explicitly":[26],"say":[27],"what":[28],"classes":[29],"allowed":[31],"in":[32,36,482,547],"any":[33],"particular":[34],"point":[35,108],"program.":[38],"delay":[40],"dealing":[41],"with":[42,264,500],"errors":[43,110,118,144],"until":[44],"last":[46],"possible":[47],"moment":[48],"at":[49,111,257,487],"runtime.":[50,112],"trust":[52],"get":[56,68],"code":[58,70,94,138,302],"right.":[59],"Unfortunately,":[60,234],"programmers":[61,76],"not":[63,182,232,595],"trusted":[66],"right!":[71],"So":[72],"combat":[74],"this,":[75],"started":[77,88],"writing":[78,89],"tests":[79,91,99,104],"exercise":[81],"their":[82,586],"code.":[83],"The":[84,96],"particularly":[85],"conscientious":[86],"ones":[87],"before":[92],"existed.":[95],"problem":[97],"is,":[98],"still":[101,106],"code,":[102],"would":[105,119,128,181,521,594],"only":[107],"out":[109,459],"Of":[113],"course,":[114],"some":[115,127],"these":[117,161,259,294],"silly":[121],"mistakes,":[122],"e.g.":[123],"misspelled":[124],"local":[125],"variables;":[126],"slightly":[130],"more":[131,509],"complicated,":[132],"but":[133,210,221],"person":[135],"reading":[136,545],"could":[139,146,158,262,298],"notice":[140],"them.":[141],"that":[145,291,431],"detected":[148],"while":[149,163],"program":[151],"was":[152,198],"being":[153,167],"written.":[154,168],"Static":[155],"type":[156,173,196,202,247,260,272,296],"systems":[157,197,203,248,261,297],"help":[159,418],"detect":[160],"mistakes":[162],"programs":[165],"were":[166],"Retrofitting":[169],"mandatory":[171],"static":[172],"system":[174,273],"onto":[175],"dynamically":[177,250,306],"language":[180],"popular":[185],"action,":[186],"so":[187],"instead":[188],"idea":[190,283],"optional":[192],"then":[194],"pluggable":[195,246,271,295],"raised.":[199],"Here":[200],"applied":[206],"language,":[209,227],"they":[211,235],"don\u2019t":[212],"have":[213,432,523],"be.":[215],"Mistakes":[216],"caught":[219],"statically,":[220],"good":[223],"features":[224],"expressiveness":[228],"flexibility":[230],"compromised.":[233],"just":[237,281],"an":[238,282,526],"idea.":[239],"This":[240],"project":[241,439,558,593],"explores":[242],"notion":[244],"for":[249,415,425,528,564,569,584],"languages.":[253],"It":[254,278],"also":[255,447,477,537],"looks":[256],"how":[258,293],"interact":[263],"each":[265],"other":[266,529],"as":[267],"parts":[268],"improve":[274],"or":[275,574],"updated.":[277],"isn\u2019t":[279],"all":[280,416,502,585],"anymore,":[284],"real":[286],"application":[287],"has":[288,457,503],"been":[289],"developed":[290],"demonstrates":[292],"work":[299],"on":[300,421,553],"simple":[305],"language.":[308],".":[309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402],"Acknowledgements":[403],"I":[404,463,476,520,578],"wish":[405,478,579],"acknowledge":[407],"thank":[409,581],"my":[410,438,450,582],"supervisor,":[411],"Professor":[412],"Susan":[413],"Eisenbach":[414],"her":[417],"guidance":[420],"this":[422,513,557,592],"project;":[423],"providing":[426,570],"pointers":[427],"papers":[430],"subtly":[433],"moved":[434],"direction":[436],"where":[441],"its":[442],"final":[443],"form.":[444],"Thanks":[445],"must":[446,536],"go":[448,538],"second":[451],"marker,":[452],"Dr.":[453],"Sophia":[454],"Drossopoulou,":[455],"who":[456,550],"pointed":[458],"areas":[460],"which":[462,591],"needed":[464],"give":[466],"further":[467],"thought":[468],"given":[470],"improvements":[471],"presentation":[474,555],"ofRsub.":[475],"thankmy":[480],"peers":[481],"Department":[484],"Computing":[486],"Imperial,":[488],"particularlyMarc":[489],"Hull,":[490],"Daniel":[491],"Burke":[492],"Matthew":[494],"Sackman.":[495],"Conversation,":[496],"discussion":[497],"debate":[499],"you":[501],"led":[504],"me":[506],"forming":[507],"rounded":[510],"view":[511],"area":[514],"theory,":[516],"highlighted":[517],"interesting":[518],"issues":[519],"otherwise":[522],"ignored,":[524],"appreciation":[527],"points":[530],"view.":[532],"A":[533],"big":[534],"thank-you":[535],"members":[541],"SLURP":[544],"group":[546],"department":[549],"gave":[551],"feedback":[552],"Many":[559],"thanks":[560],"Doreen":[562],"Wright":[563,568],"printing":[565],"Jon":[567],"commentary":[571],"upon":[572],"Deal":[573],"No":[575],"Deal.":[576],"Finally":[577],"family":[583],"love":[587],"support,":[589],"without":[590],"possible.":[597]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2016-06-24T00:00:00"}