LAMBDALG: Higher Order Algebraic Specification Language - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Yexuan Gui, Mitsuhiro Okada. LAMBDALG: Higher Order Algebraic Specification Language. In Claude Kirchner, editor, Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Volume 690 of Lecture Notes in Computer Science, pages 462-466, Springer, 1993.

The following publications are possibly variants of this publication:

System Description of LAMBDALG - A Higher Order Algebraic Specification LanguageYexuan Gui, Mitsuhiro Okada. lpar 1993: 354-356

A Computation Model for Executable Higher-Order Algebraic Specification LanguagesJean-Pierre Jouannaud, Mitsuhiro Okada. lics 1991: 350-361 [doi]

runs on WebDSL