Component-Based Dynamic Semantics for Caml Light

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: