IOHK PlutusFest 2018 | James Chapman - Academic Stream
In this talk, IOHK formal methods programmer, James Chapman, presented "Formalization of the meta theory of Plutus Core in Agda" to the audience of the invitation-only academic stream at the IOHK PlutusFest. 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. http://bit.ly/2QYIfEz http://bit.ly/2BJyZtK -- 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: http://bit.ly/2QYIfV5 Visit our library: http://bit.ly/2q5kQkd In the press: https://iohk.io/press/ Work with us: http://bit.ly/2zVAB1f
View on YouTube
No comments:
Post a Comment