Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Thu 22 Aug 2019 15:45 - 16:10 at Pine - Session 4 Chair(s): Gabriel Scherer

Necro is a tool that generates an OCaml interpreter given a semantics in a specific format.

Preprint (ml2019-paper14.pdf)283KiB

Thu 22 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:20 - 16:30
Session 4ML at Pine
Chair(s): Gabriel Scherer INRIA Saclay
15:20
25m
Talk
An Idris Foreign Function Interface to OCaml
ML
Robert Atkey University of Strathclyde, Ioan Luca University of Strathclyde
File Attached
15:45
25m
Talk
Necro: Animating Skeletons
ML
Nathanaël Courant INRIA, Enzo Crance INSA Rennes, Alan Schmitt Inria
File Attached