Building a Blockchain Simulation using the Idris Programming Language
Abstract
References
Index Terms
- Building a Blockchain Simulation using the Idris Programming Language
Recommendations
Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain
Financial Cryptography and Data SecurityAbstractTezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. In this article we present Albert, an intermediate language for Tezos smart contracts which abstracts Michelson stacks as ...
Elaborator reflection: extending Idris in Idris
ICFP 2016: Proceedings of the 21st ACM SIGPLAN International Conference on Functional ProgrammingMany programming languages and proof assistants are defined by elaboration from a high-level language with a great deal of implicit information to a highly explicit core language. In many advanced languages, these elaboration facilities contain powerful ...
Elaborator reflection: extending Idris in Idris
ICFP '16Many programming languages and proof assistants are defined by elaboration from a high-level language with a great deal of implicit information to a highly explicit core language. In many advanced languages, these elaboration facilities contain powerful ...
Comments
Information & Contributors
Information
Published In

- Conference Chair:
- Dan Lo,
- Program Chair:
- Donghyun Kim,
- Publications Chair:
- Eric Gamess
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Short-paper
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 170Total Downloads
- Downloads (Last 12 months)8
- Downloads (Last 6 weeks)1
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in