Building a Blockchain Simulation using the Idris Programming Language.
Qiutai PanXenofon D. KoutsoukosPublished in: ACM Southeast Regional Conference (2019)
Keyphrases
- programming language
- general purpose
- object oriented
- high level
- strongly typed
- denotational semantics
- programming environment
- software engineering
- computer programs
- logic programming
- object oriented programming
- database languages
- specification language
- database language
- programming paradigms
- fluent calculus
- programming language constructs
- functional language
- functional programming
- end users
- data model