Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 14:50 - 15:10 at Frisco - Session 5

MLExplain is a step-by-step interpreter for OCaml that enables the user to inspect both their program’s state and the interpreter’s state itself. This interpreter is derived from JExplain, a step-by-step interpreter for JavaScript. The original goal of this work is to show that JSExplain can easily be reused with another language. MLExplain also aims to provide the user with a better understanding of the semantics of OCaml.

Thu 27 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

14:30 - 15:10: OCaml 2018 - Session 5 at Frisco
ocaml-2018-papers14:30 - 14:50
Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook
ocaml-2018-papers14:50 - 15:10
Link to publication