OBJ (programming language): Difference between revisions

Revision as of 11:31, 21 October 2006

Revision as of 18:06, 4 December 2006

Line 13:

* [[Functional programming]]

==ReferenceReferences==

* ''J. A. Goguen, Higher-Order Functions Considered Unnecessary for Higher-Order Programming'', J.A. Goguen, inIn ''Research Topics in Functional Programming''.

==External links==

Line 24:

{{FOLDOC}}

[[Category:Formal methods]]

[[Category:Functional languages]]

[[Category:Logic in computer science]]

[[Category:Programming languages]]

[[Category:SpecificationFormal specification languages]]

[[Category:Theorem provers]]