This page contains supporting material for Component-Based Dynamic Semantics for Caml Light, a talk that will be presented at the SLS workshop in Cambridge, by Martin Churchill and Peter Mosses. We have:

• The extended abstract [sls13]
• Slides from Martin’s presentation [slstalk]
• Specification of component-based dynamic semantics for Caml Light [caml-light-dynamics] . This can be animated  using the MetaEnvironment and Prolog, allowing one to run programs according to the semantics.