{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T01:15:51Z","timestamp":1777598151888,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T00:00:00Z","timestamp":1555545600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,18]]},"DOI":"10.1145\/3299815.3314456","type":"proceedings-article","created":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T12:16:01Z","timestamp":1557231361000},"page":"190-193","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Building a Blockchain Simulation using the Idris Programming Language"],"prefix":"10.1145","author":[{"given":"Qiutai","family":"Pan","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"How Bitcoin Mining Works. (January","author":"Acheson N.","year":"2018","unstructured":"N. Acheson. 2018. How Bitcoin Mining Works. (January 2018). https:\/\/www.coindesk.com\/information\/how-bitcoin-mining-works."},{"key":"e_1_3_2_1_2_1","volume-title":"Type-driven Development with Idris","author":"Brady E.","unstructured":"E. Brady. 2017. Type-driven Development with Idris. Manning Publications, Shelter Island, NY."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2566339"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.3390\/fi10020020"},{"key":"e_1_3_2_1_5_1","volume-title":"A Guide to Smart Contracts and Their Implementation. (January","author":"Horda T.","year":"2018","unstructured":"T. Horda. 2018. A Guide to Smart Contracts and Their Implementation. (January 2018). https:\/\/rubygarage.org\/blog\/guide-to-smart-contracts."},{"key":"e_1_3_2_1_6_1","unstructured":"A. Lewis. 2015. A Gentle Introduction to Blockchain Technology -- Bits on Blocks. https:\/\/bitsonblocks.net\/2015\/09\/09\/gentle-introduction-blockchain-technology\/#more-72."},{"key":"e_1_3_2_1_7_1","unstructured":"M. H. Miraz and M. Ali. 2018. Applications of Blockchain Technology beyond Cryptocurrency. arXiv:1801.03528. https:\/\/arxiv.org\/abs\/1801.03528."},{"key":"e_1_3_2_1_8_1","unstructured":"J. Pettersson and R. Edstr\u00f6m. 2016. Safer smart Contracts through Type-driven Development. Master's thesis. Chalmers University of Technology & University of Gothenburg Gothenburg Sweden."}],"event":{"name":"ACM SE '19: 2019 ACM Southeast Conference","location":"Kennesaw GA USA","acronym":"ACM SE '19","sponsor":["ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2019 ACM Southeast Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3299815.3314456","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3299815.3314456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:15Z","timestamp":1750210755000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3299815.3314456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,18]]},"references-count":8,"alternative-id":["10.1145\/3299815.3314456","10.1145\/3299815"],"URL":"https:\/\/doi.org\/10.1145\/3299815.3314456","relation":{},"subject":[],"published":{"date-parts":[[2019,4,18]]},"assertion":[{"value":"2019-04-18","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}