Golden
Michelson (programming language)

Michelson (programming language)

Michelson is a domain-specific programming language used on the Tezos blockchain to write smart contracts.

Michelson is a domain specific programming language used to write smart contracts on the Tezos blockchain. The language allows users to prove the properties in their smart contracts through a formal verification process. The Michelson programming language is strongly typed, stack based and does not contain features such as polymorphism, closures, or named functions. A high-level programming called Liquidity can be written and compiled to the Michelson programming language. The implementation of the Michelson programming language is based around in OCaml GADT.

Timeline

People

Name
Role
Related Golden topics

Further reading

Title
Author
Link
Type

Decentralized App development on Tezos for beginners part 2

catsigma

News

Michelson: the language of Smart Contracts in Tezos

Michelson Team

Web

Michelson: the language of Smart Contracts in Tezos

Tezos

Academic

Documentaries, videos and podcasts

Title
Date
Link

Companies

Company
CEO
Location
Products/Services

References