{"id":"https://openalex.org/W2107717912","doi":"https://doi.org/10.1017/s0960129504004165","title":"MetaKlaim: a type safe multi-stage language for global computing","display_name":"MetaKlaim: a type safe multi-stage language for global computing","publication_year":2004,"publication_date":"2004-05-20","ids":{"openalex":"https://openalex.org/W2107717912","doi":"https://doi.org/10.1017/s0960129504004165","mag":"2107717912"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129504004165","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129504004165","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"Mathematical Structures in Computer Science","raw_type":"journal-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/A5026348666","display_name":"Gian-Luigi Ferrari","orcid":"https://orcid.org/0000-0003-3548-5514"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"GIANLUIGI FERRARI","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy Email:","Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy Email: giangi@di.unipi.it#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy Email:","institution_ids":["https://openalex.org/I108290504"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy Email: giangi@di.unipi.it#TAB#","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060518986","display_name":"Eugenio Moggi","orcid":"https://orcid.org/0000-0001-8018-6543"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"EUGENIO MOGGI","raw_affiliation_strings":["Dipartimento di Informatica e Scienze dell'Informazione, Universit\u00e0 di Genova, Italy","Dipartimento di Informatica e Scienze dell'Informazione Universit\u00e0 di Genova, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica e Scienze dell'Informazione, Universit\u00e0 di Genova, Italy","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"Dipartimento di Informatica e Scienze dell'Informazione Universit\u00e0 di Genova, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066761763","display_name":"Rosario Pugliese","orcid":"https://orcid.org/0000-0002-1419-1405"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ROSARIO PUGLIESE","raw_affiliation_strings":["Dipartimento di Sistemi e Informatica, Universit\u00e0 di Firenze, Italy","Dipartimento di Sistemi e Informatica -- Universita' di Firenze -- Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Sistemi e Informatica, Universit\u00e0 di Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"Dipartimento di Sistemi e Informatica -- Universita' di Firenze -- Italy","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4971,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.86137894,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"14","issue":"3","first_page":"367","last_page":"395"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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/T11424","display_name":"Security and Verification in Computing","score":0.9983999729156494,"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.8340897560119629},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.650244951248169},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.606556236743927},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4866545796394348},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.47146373987197876},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4418126940727234},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.43927961587905884},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.43273282051086426},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.41799378395080566},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35596007108688354},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19342172145843506}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8340897560119629},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.650244951248169},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.606556236743927},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4866545796394348},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.47146373987197876},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4418126940727234},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.43927961587905884},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43273282051086426},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.41799378395080566},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35596007108688354},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19342172145843506},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1017/s0960129504004165","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129504004165","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.13.4901","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.4901","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.disi.unige.it/person/MoggiE/ftp/FMP02-sub.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.142.3235","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.3235","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.it.uu.se/profundis/Year1/Deliverable7-WP3/3.1.6.FMP-mscs-revisited.pdf","raw_type":"text"},{"id":"pmh:oai:arpi.unipi.it:11568/89326","is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/89326","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:flore.unifi.it:2158/332408","is_oa":false,"landing_page_url":"http://hdl.handle.net/2158/332408","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"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":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.unige.it:11567/209919","is_oa":false,"landing_page_url":"http://hdl.handle.net/11567/209919","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"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":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.47999998927116394,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W31349019","https://openalex.org/W84136828","https://openalex.org/W171436000","https://openalex.org/W1496712790","https://openalex.org/W1500250067","https://openalex.org/W1521367064","https://openalex.org/W1553805960","https://openalex.org/W1578672210","https://openalex.org/W1589951597","https://openalex.org/W1591752798","https://openalex.org/W1595372275","https://openalex.org/W1601205865","https://openalex.org/W1965498649","https://openalex.org/W1971810486","https://openalex.org/W1972301184","https://openalex.org/W1980939032","https://openalex.org/W1987203566","https://openalex.org/W2006138892","https://openalex.org/W2017532341","https://openalex.org/W2019545801","https://openalex.org/W2029360780","https://openalex.org/W2031650958","https://openalex.org/W2036910349","https://openalex.org/W2037575886","https://openalex.org/W2053271394","https://openalex.org/W2076212434","https://openalex.org/W2083140588","https://openalex.org/W2084588406","https://openalex.org/W2088599499","https://openalex.org/W2094455839","https://openalex.org/W2096213702","https://openalex.org/W2096314727","https://openalex.org/W2098549433","https://openalex.org/W2106529232","https://openalex.org/W2107219179","https://openalex.org/W2107776021","https://openalex.org/W2113540887","https://openalex.org/W2118002698","https://openalex.org/W2128138604","https://openalex.org/W2134291411","https://openalex.org/W2134386444","https://openalex.org/W2135785452","https://openalex.org/W2136134319","https://openalex.org/W2160747957","https://openalex.org/W2161307885","https://openalex.org/W2161353020","https://openalex.org/W2176714706","https://openalex.org/W2294680933","https://openalex.org/W2499974232","https://openalex.org/W2912003593","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2093262417","https://openalex.org/W2123131699","https://openalex.org/W913131694","https://openalex.org/W650116260","https://openalex.org/W2378329187","https://openalex.org/W4390790060","https://openalex.org/W2134191509","https://openalex.org/W1603423477","https://openalex.org/W3209454962","https://openalex.org/W79697243"],"abstract_inverted_index":{"This":[0],"paper":[1],"describes":[2],"the":[3,141],"design":[4],"and":[5,40,49,60,73,86,112,128],"semantics":[6],"of":[7,35,54,62,67,144],"M":[8,25,30,89],"ETA":[9,26,31,90],"K":[10,27,41,91],"LAIM":[11,28,42,92],",":[12],"which":[13],"is":[14],"a":[15,78,94],"higher":[16],"order":[17],"distributed":[18],"process":[19],"calculus":[20],"equipped":[21],"with":[22,107,154],"staging":[23],"mechanisms.":[24],"integrates":[29],"ML":[32],"(an":[33],"extension":[34],"SML":[36],"for":[37,46],"multi-stage":[38],"programming)":[39],"(a":[43],"Kernel":[44],"Language":[45],"Agents":[47],"Interaction":[48],"Mobility),":[50],"to":[51,105,113,131],"permit":[52],"interleaving":[53],"meta-programming":[55],"activities":[56,76],"(such":[57,82],"as":[58,83],"assembly":[59],"linking":[61],"code":[63,87,125],"fragments),":[64],"dynamic":[65,136],"checking":[66,138],"security":[68,115],"policies":[69,116],"at":[70,126],"administrative":[71],"boundaries":[72],"\u2018traditional\u2019":[74],"computational":[75],"on":[77],"wide":[79,145],"area":[80,146],"network":[81,147],"remote":[84],"communication":[85],"mobility).":[88],"exploits":[93],"powerful":[95],"type":[96,137],"system":[97,103],"(including":[98],"polymorphic":[99],"types":[100,118],"\u00e1":[101],"la":[102],"F)":[104],"deal":[106],"highly":[108],"parameterised":[109],"mobile":[110],"components":[111],"enforce":[114],"dynamically:":[117],"are":[119,122,129,149],"metadata":[120],"that":[121,140],"extracted":[123],"from":[124],"run-time":[127],"used":[130],"express":[132],"trustiness":[133,142],"guarantees.":[134],"The":[135],"ensures":[139],"guarantees":[143],"applications":[148],"maintained":[150],"whenever":[151],"computations":[152],"interoperate":[153],"potentially":[155],"untrusted":[156],"components.":[157]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}