Programming with behaviors in an ML framework, the syntax and semantics of LCS (1994)

by B Berthomieu, T Le Sergent
Venue:In Programming Languages and Systems - ESOP '94