Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Session 1OCaml at Frisco
Chair(s): Andrew Kennedy Facebook London
09:00
5m
Day opening
Introduction
OCaml
Andrew Kennedy Facebook London
09:05
30m
Talk
The OCaml Platform 1.0
OCaml
Anil Madhavapeddy OCaml Labs, Gemma Gordon University of Cambridge
09:35
10m
Poster
The OCaml Software Foundation
OCaml
Michel Mauny , Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45
5m
Poster
This PDF is an OCaml bytecode
OCaml
Gabriel Radanne University of Freiburg, Germany
10:20 - 11:00
Session 2OCaml at Frisco
Chair(s): Stephen Dolan University of Cambridge
10:20
20m
Talk
Abusing Format for fun and profits
OCaml
Gabriel Radanne University of Freiburg, Germany, Frédéric Bour Facebook Paris
10:40
20m
Talk
RFCs, all the way down!
OCaml
11:20 - 12:00
Session 3OCaml at Frisco
Chair(s): KC Sivaramakrishnan University of Cambridge
11:20
20m
Talk
The Vecosek Ecosystem
OCaml
Sebastien Mondet Mount Sinai - Hammer Lab
11:40
20m
Talk
OCaml on the ESP32 chip: Well Typed Lightbulbs Await
OCaml
Lucas Pluvinage ENS Paris, Sadiq Jaffer Opsian, Anil Madhavapeddy OCaml Labs
13:30 - 14:10
Session 4OCaml at Frisco
Chair(s): Gabriel Scherer INRIA Saclay
13:30
20m
Talk
Wall: rendering vector graphics with OCaml and OpenGL
OCaml
Frédéric Bour Facebook Paris
13:50
20m
Talk
Winning on Windows: porting the OCaml platform
OCaml
David Allsopp University of Cambridge
15:30 - 16:10
Session 6OCaml at Frisco
Chair(s): Andrew Kennedy Facebook London
15:30
20m
Talk
Relit: Implementing Typed Literal Macros in Reason
OCaml
Charles Chamberlain University of Chicago, Cyrus Omar University of Chicago