François Rouaix

Suggest Changes
Learn More
We present a functional language featuring a form of dynamic overloading akin to message passing in object oriented languages. We give a dynamic semantics describing a non-deterministic evaluation,(More)
  • 1