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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:20 - 16:30: Session 4ML at Pine
Chair(s): Gabriel SchererINRIA Saclay
15:20 - 15:45
Talk
ML
Robert AtkeyUniversity of Strathclyde, Ioan LucaUniversity of Strathclyde
File Attached
15:45 - 16:10
Talk
ML
File Attached