OBJ (programming language): Difference between revisions

Revision as of 19:01, 20 January 2014

Revision as of 22:55, 4 November 2014

Line 11:

==References==

* J. A. Goguen, [http://cseweb.ucsd.edu/~goguen/pps/utyop.ps Higher-Order Functions Considered Unnecessary for Higher-Order Programming]. In ''Research Topics in Functional Programming''.

* {{FOLDOC}}

==External links==

*[http://vl.fmnet.info/obj/ The OBJ archive]

*[http://www.cs.ucsd.edu/users/goguen/sys/obj.html The OBJ family]

{{FOLDOC}}

{{compu-lang-stub}}

[[Category:Academic programming languages]]

Line 25 ⟶ 22:

[[Category:Formal specification languages]]

[[Category:Theorem proving software systems]]

{{compu-lang-stub}}