ICFP 2021
Sun 22 - Sat 28 August 2021
Sat 28 Aug 2021 00:30 - 01:00 at OCaml - Session 4 Chair(s): Raja Boujbel

We present Love, a smart contract language embedded in the Dune Network blockchain. It benefits from an OCaml-like syntax and a system-F inspired type system. Love has been used for deploying complex services such as games, ERC20s, atomic swaps, etc.

Fri 27 Aug

Displayed time zone: Seoul change

23:30 - 01:00
Session 4OCaml at OCaml
Chair(s): Raja Boujbel OCamlPro
23:30
30m
Talk
Experiences with Effects
OCaml
Thomas Leonard OCaml Labs, Craig Ferguson Tarides, Patrick Ferris OCaml Labs, Sadiq Jaffer Opsian and OCaml Labs, Tom Kelly OCaml Labs, KC Sivaramakrishnan IIT Madras, Anil Madhavapeddy University of Cambridge, UK
File Attached
00:00
30m
Talk
Opam-bin: Binary Packages with Opam
OCaml
File Attached
00:30
30m
Talk
Love: a readable language interpreted by a blockchain
OCaml