Fri 8 Sep 2017 11:45 - 12:30 at L3 - Poster session
We present a new tool, ocamli, which runs ordinary OCaml programs by direct interpretation of the abstract syntax tree. It can show arbitrary parts of the evaluating expression to aid in teaching and debugging.
We also show how one can use ocamli as a library to construct and evaluate OCaml expressions at runtime in what amounts to a crude form of metaprogramming, and speculate on some future directions.
Fri 8 Sep
11:35 - 11:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30 Talk | Bury GuillaumeINRIA / LSV / CNRS Link to publication | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30 Talk | Gabriel RadanneUniversité Denis Diderot Paris 7, PPS Link to publication | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30 Talk | Link to publication |