IOHK PlutusFest 2018 | Roman Kireev & Michael Peyton-Jones - Academic Stream

Описание: In this talk, Roman Kireev & Michael Peyton-Jones, IOHK functional compiler engineers talked to the audience about the topic of "Recursion in System F-omega and its application to Plutus Core".

Get ready for smart contracts on Cardano, the third-generation blockchain and cryptocurrency.

https://plutusfest.io

On 11th December 2018, IOHK hosted a public day of presentations and debate with IOHK’s scientists and engineers about Plutus, the programming platform for smart contracts on the Cardano blockchain and Marlowe, the simple smart contracts language for financiers.

The sessions during the event introduced Marlowe, the financial smart contracts language designed to be used by financiers; the Plutus Playground for testing code; and Meadow, a web-based tool that helps create and test Marlowe smart contracts.

https://testnet.iohkdev.io/plutus/
https://testnet.iohkdev.io/marlowe/

--

See more at: https://iohk.io

Get our latest news updates: https://iohk.io/blog/

Meet the team: https://iohk.io/team/

Learn about our projects: https://iohk.io/projects/

Visit our library: https://iohk.io/research/library/

In the press: https://iohk.io/press/

Work with us: https://iohk.io/careers/