OBJ2


OBJ2

Clear-like parametrised modules. A functional system based onequations. "Principles of OBJ2", K. Futatsugi et al, 12thPOPL, ACM 1985, pp.52-66.