{"id":"https://openalex.org/W4323650820","doi":"https://doi.org/10.48550/arxiv.2303.03749","title":"Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows","display_name":"Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows","publication_year":2023,"publication_date":"2023-03-07","ids":{"openalex":"https://openalex.org/W4323650820","doi":"https://doi.org/10.48550/arxiv.2303.03749"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2303.03749","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.03749","pdf_url":"https://arxiv.org/pdf/2303.03749","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2303.03749","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054869057","display_name":"Alexander Bernauer","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Bernauer, Alexander","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067606334","display_name":"Sofia Faro","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Faro, Sofia","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070016547","display_name":"R\u00e9my H\u00e4mmerle","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"H\u00e4mmerle, R\u00e9my","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010168911","display_name":"Martin Huschenbett","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huschenbett, Martin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076987275","display_name":"Moritz Kiefer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kiefer, Moritz","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005529779","display_name":"Andreas Lochbihler","orcid":"https://orcid.org/0000-0002-5851-494X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lochbihler, Andreas","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058329676","display_name":"Jussi M\u00e4ki","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M\u00e4ki, Jussi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026449016","display_name":"Francesco Mazzoli","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mazzoli, Francesco","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012661948","display_name":"Simon Meier-Vieracker","orcid":"https://orcid.org/0000-0002-0141-9327"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Meier, Simon","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Mitchell, Neil","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mitchell, Neil","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5048668841","display_name":"Ratko G. Veprek","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Veprek, Ratko G.","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5054869057"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9991999864578247,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9854999780654907,"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.814606785774231},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.694672167301178},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.5275026559829712},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4846547245979309},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.48366841673851013},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4790683686733246},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.43623924255371094},{"id":"https://openalex.org/keywords/delegation","display_name":"Delegation","score":0.4346576929092407},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.432179719209671},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.4270945191383362},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.42534834146499634},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41048669815063477},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.355272114276886}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.814606785774231},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.694672167301178},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.5275026559829712},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4846547245979309},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.48366841673851013},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4790683686733246},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.43623924255371094},{"id":"https://openalex.org/C86532276","wikidata":"https://www.wikidata.org/wiki/Q1184065","display_name":"Delegation","level":2,"score":0.4346576929092407},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.432179719209671},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.4270945191383362},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.42534834146499634},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41048669815063477},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.355272114276886},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"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":2,"locations":[{"id":"pmh:oai:arXiv.org:2303.03749","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.03749","pdf_url":"https://arxiv.org/pdf/2303.03749","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2303.03749","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2303.03749","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2303.03749","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.03749","pdf_url":"https://arxiv.org/pdf/2303.03749","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4323650820.pdf","grobid_xml":"https://content.openalex.org/works/W4323650820.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3092702943","https://openalex.org/W4297798448","https://openalex.org/W4391241361","https://openalex.org/W4388187043","https://openalex.org/W4285161539","https://openalex.org/W2982625131","https://openalex.org/W4320715980","https://openalex.org/W3122124622","https://openalex.org/W4376606592","https://openalex.org/W3092627261"],"abstract_inverted_index":{"Distributed":[0],"ledger":[1],"technologies,":[2],"also":[3],"known":[4],"as":[5,126,185],"blockchains":[6],"for":[7,27,53,56,101,141,149],"enterprises,":[8],"promise":[9],"to":[10,39],"significantly":[11],"reduce":[12],"the":[13,41,62,72,81,108,113],"high":[14],"cost":[15],"of":[16,64,115,128,182],"automating":[17],"multi-party":[18],"business":[19,47,151],"workflows.":[20,48],"We":[21,79],"argue":[22],"that":[23,44],"a":[24,167,186],"programming":[25],"language":[26,85],"writing":[28],"such":[29],"on-ledger":[30],"logic":[31],"should":[32],"satisfy":[33],"three":[34],"desiderata:":[35],"(1)":[36,161],"Provide":[37],"concepts":[38],"capture":[40],"legal":[42,117],"rules":[43,135],"govern":[45],"real-world":[46],"(2)":[49,169],"Include":[50],"simple":[51,65,73],"means":[52],"specifying":[54],"policies":[55,123],"access":[57,120],"and":[58,104,121,131,178],"authorization.":[59],"(3)":[60,179],"Support":[61],"composition":[63],"workflows":[66,74,152],"into":[67],"complex":[68],"ones,":[69],"even":[70],"when":[71],"have":[75],"already":[76],"been":[77],"deployed.":[78],"present":[80],"open-source":[82],"smart":[83],"contract":[84],"Daml":[86,93,147,158],"based":[87],"on":[88,107,162,170,180],"Haskell":[89],"with":[90,173],"strict":[91],"evaluation.":[92],"achieves":[94],"these":[95,129],"desiderata":[96],"by":[97,166],"offering":[98],"novel":[99],"primitives":[100,114],"representing,":[102],"accessing,":[103],"modifying":[105],"data":[106],"ledger,":[109],"which":[110,138],"are":[111,124],"mimicking":[112],"today's":[116],"systems.":[118],"Robust":[119],"authorization":[122,134],"specified":[125],"part":[127],"primitives,":[130],"Daml's":[132],"built-in":[133],"enable":[136],"delegation,":[137],"is":[139],"key":[140],"workflow":[142],"composability.":[143],"These":[144],"properties":[145],"make":[146],"well-suited":[148],"orchestrating":[150],"across":[153],"multiple,":[154],"otherwise":[155],"heterogeneous":[156],"parties.":[157],"contracts":[159],"run":[160],"centralized":[163],"ledgers":[164],"backed":[165],"database,":[168],"distributed":[171],"deployments":[172],"Byzantine":[174],"fault":[175],"tolerant":[176],"consensus,":[177],"top":[181],"conventional":[183],"blockchains,":[184],"second":[187],"layer":[188],"via":[189],"an":[190],"atomic":[191],"commit":[192],"protocol.":[193]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2023-03-10T00:00:00"}