Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Fri 28 Aug 2020 11:30 - 12:00 at OCaml - Experience

SmartPy is a complete system to develop smart-contracts for the Tezos blockchain. It is an embedded EDSL in python to write contracts and their tests scenarios. It includes an online IDE, a chain explorer, and a command line interface. Python is used to generate programs in an inperative, type infered, intermediate language called SmartML. SmartML is also the name of the OCaml library which provides an interpreter, a compiler to Michelson (the smart-contract language of Tezos), as well as a scenario “on-chain” interpreter. The IDE uses a mix of OCaml built with js_of_ocaml and pure Javascript. The command line interface also builds with js_of_ocaml to run on Node.js.

This program is tentative and subject to change.

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

ocaml-2020-papers
11:30 - 13:30: OCaml 2020 - Experience at OCaml
ocaml-2020-papers11:30 - 12:00
Talk
Sebastien MondetMount Sinai - Hammer Lab
ocaml-2020-papers12:00 - 12:30
Talk
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Pre-print
ocaml-2020-papers12:30 - 13:00
Talk
Patrik KellerUniversity of Innsbruck, Marc LassonLexiFi
ocaml-2020-papers13:00 - 13:30
Talk
Paul StecklerO(1) Labs, Matthew RyanO(1) Labs