Golden
Michelson (programming language)

Michelson (programming language)

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

All edits

Edits on 1 Aug 2019
Carla Faraguna
Carla Faraguna edited on 1 Aug 2019 5:33 pm
Edits made to:
Infobox (+2 properties)

Infobox

Related technology
Carla Faraguna
Carla Faraguna edited on 1 Aug 2019 5:33 pm
Edits made to:
Related Topics (+1 topics)

Related Topics

Edits on 17 Nov 2018
Jude Gomila
Jude Gomila approved a suggestion from Golden's AI on 17 Nov 2018 1:58 am
Edits made to:
Article (+20/-20 characters)

Article

Michelson is a domain specific programming languageprogramming 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. 

Edits on 14 Nov 2018
Tianchang He
Tianchang He approved a suggestion from Golden's AI on 14 Nov 2018 11:04 pm
Edits made to:
Article (+15/-15 characters)

Article

Michelson is a domain specific programming language used to write smart contractssmart 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. 

Edits on 13 Nov 2018
Dawson Sewell
Dawson Sewell edited on 13 Nov 2018 7:47 pm
Edits made to:
Further reading (+1 rows) (+5 cells) (+131 characters)

Further reading

Title
Author
Link
Type

Michelson: the language of Smart Contracts in Tezos

Michelson Team

Web

Michelson: the language of Smart Contracts in Tezos

Tezos

Academic

Dawson Sewell
Dawson Sewell edited on 13 Nov 2018 7:41 pm
Edits made to:
Description (+107 characters)
Further reading (+1 rows) (+4 cells) (+172 characters)
Categories (+4 topics)
Topic thumbnail

Michelson (programming language)

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

Article



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. 

Further reading

Title
Author
Link
Type

Decentralized App development on Tezos for beginners part 2

catsigma

News

Categories

Edits on 7 Aug 2018
Golden AI"Linkify text links in standard tables"
Golden AI edited on 7 Aug 2018 11:56 pm
Edits made to:
Further reading (+48/-48 characters)

Further reading

Author
Title
Link
Type

Michelson Team

Michelson: the language of Smart Contracts in Tezos



Edits on 23 Feb 2018
Michael Naval
Michael Naval edited on 23 Feb 2018 8:01 pm
Edits made to:
Further reading (+1 rows)

Further reading

Author
Title
Link

Michelson Team

Michelson: the language of Smart Contracts in Tezos

Edits on 30 Jan 2018
Alex Dean"Initial topic creation"
Alex Dean created this topic on 30 Jan 2018 1:00 am
Edits made to:
Topic thumbnail

 Michelson (programming language)

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

Article



No more activity to show.