{"id":"https://openalex.org/W1483079395","doi":null,"title":"Dynamic ML without dynamic types","display_name":"Dynamic ML without dynamic types","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1483079395","mag":"1483079395"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.161.3137","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.3137","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-378/ECS-LFCS-97-378.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/A5000114432","display_name":"Stephen T. Gilmore","orcid":"https://orcid.org/0000-0002-3657-989X","observed_orcids":["https://orcid.org/0000-0002-3657-989X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stephen Gilmore","raw_affiliation_strings":["School of Informatics, Laboratory for Foundations of Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Informatics, Laboratory for Foundations of Computer Science","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035682803","display_name":"Dilsun Kaynar","orcid":"https://orcid.org/0000-0003-1421-087X","observed_orcids":["https://orcid.org/0000-0003-1421-087X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dilsun K rl","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5103585188","display_name":"Christopher Walton","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christopher Walton","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":0.5811,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.71303959,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0,"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/T11424","display_name":"Security and Verification in Computing","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dynamic-module-loading","display_name":"dynamic module loading","score":0.6150000095367432},{"id":"https://openalex.org/keywords/standard-ml","display_name":"Standard ML","score":0.7870000004768372},{"id":"https://openalex.org/keywords/software-modularity","display_name":"modular software design","score":0.6679999828338623},{"id":"https://openalex.org/keywords/static-type-checking","display_name":"static type checking","score":0.7490000128746033},{"id":"https://openalex.org/keywords/separate-compilation","display_name":"separate compilation","score":0.699999988079071},{"id":"https://openalex.org/keywords/dynamic-linking","display_name":"dynamic linking","score":0.4359999895095825},{"id":"https://openalex.org/keywords/functional-programming-languages","display_name":"functional programming languages","score":0.49399998784065247}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8180631399154663},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.771716833114624},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7469342350959778},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7076517343521118},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.6519922018051147},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6240038275718689},{"id":"https://openalex.org/C2779151265","wikidata":"https://www.wikidata.org/wiki/Q1156791","display_name":"Copying","level":2,"score":0.6192272901535034},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.5221717357635498},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.2355990707874298},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.161.3137","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.3137","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-378/ECS-LFCS-97-378.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.44.939","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.939","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dcs.ed.ac.uk/~stg/./DynamicML/dynamic.ps.gz","raw_type":"text"},{"id":"mag:1483079395","doi":null,"is_oa":false,"landing_page_url":"http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-378/ECS-LFCS-97-378.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":9,"referenced_works":["https://openalex.org/W139821244","https://openalex.org/W1525161337","https://openalex.org/W1530461300","https://openalex.org/W1546727036","https://openalex.org/W1571962375","https://openalex.org/W1798009120","https://openalex.org/W2058821858","https://openalex.org/W2087875803","https://openalex.org/W2117552698"],"related_works":["https://openalex.org/W2142742291","https://openalex.org/W4733693","https://openalex.org/W7095561200","https://openalex.org/W7099873206","https://openalex.org/W7100814134","https://openalex.org/W2099305192","https://openalex.org/W1559765808","https://openalex.org/W7095428313","https://openalex.org/W2093107912","https://openalex.org/W129491011"],"abstract_inverted_index":{"We":[0],"describe":[1],"a":[2,12,43,97,117,128,133],"variant":[3],"of":[4,17,26,39,42,90,99,127,139],"the":[5,15,27,36,57,94,125,136],"Standard":[6,44,114],"ML":[7,45,115],"programming":[8,121,130,141],"language":[9,28,95,122,131],"which":[10,34,85,123],"incorporates":[11],"facility":[13],"for":[14,88],"replacement":[16],"modular":[18,40,105],"components":[19],"during":[20],"program":[21],"execution.":[22],"This":[23],"useful":[24,120],"extension":[25,50,92],"builds":[29],"upon":[30],"existing":[31],"compiler":[32],"technology":[33],"permits":[35],"separate":[37],"compilation":[38],"units":[41],"program.":[46],"Defined":[47],"naively,":[48],"this":[49,69],"would":[51],"incur":[52],"performance":[53],"overheads":[54],"due":[55],"to":[56,59,93],"need":[58],"retain":[60],"typing":[61],"information":[62],"at":[63],"run-time.":[64],"Here":[65],"we":[66,86],"explain":[67],"how":[68],"cost":[70],"can":[71],"be":[72],"significantly":[73],"lessened":[74],"and":[75,119],"in":[76,132],"some":[77],"cases":[78],"eliminated":[79],"entirely.":[80],"The":[81],"essential":[82],"technical":[83],"device":[84],"employ":[87],"implementation":[89],"our":[91],"is":[96,116,143],"modification":[98],"two-space":[100],"copying":[101],"garbage":[102],"collection.":[103],"Keywords:":[104],"programming;":[106],"static":[107],"type":[108],"checking;":[109],"dynamic":[110],"languages":[111],"1":[112],"Introduction":[113],"reliable":[118],"provides":[124],"expressivity":[126],"functional":[129],"setting":[134],"where":[135],"full":[137],"power":[138],"imperative":[140],"constructs":[142],"also":[144],"avail...":[145]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}