System Description of LAMBDALG - A Higher Order Algebraic Specification Language.

Yexuan Gui, Mitsuhiro Okada

Browse the full LPAR paper archive.