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

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