Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 11:30 - 12:00 at OCaml - Experience Chair(s): Greta Yorsh

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.

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

11:30 - 13:30
ExperienceOCaml at OCaml
Chair(s): Greta Yorsh Jane Street

Sharing experience about using OCaml in various scenarios.

11:30
30m
Talk
OCaml Under The Hood: SmartPy
OCaml
12:00
30m
Talk
A Declarative Syntax Definition for OCaml
OCaml
Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
Pre-print
12:30
30m
Talk
LexiFi Runtime Types
OCaml
Patrik Keller University of Innsbruck, Marc Lasson LexiFi
13:00
30m
Talk
Types in amber
OCaml
Paul Steckler O(1) Labs, Matthew Ryan O(1) Labs