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
LinkedIn

Further reading

Title
Author
Link
Type
Date

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

Golden logo
Text is available under the Creative Commons Attribution-ShareAlike 4.0; additional terms apply. By using this site, you agree to our Terms & Conditions.