Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS.

Bernard Berthomieu, Thierry Le Sergent

Browse the full ESOP paper archive.