Revision as of 04:38, 28 January 2021 edit Laiwoonsiu (talk \| contribs) Extended confirmed users 922 edits m →References: Corrected the second reference. ← Previous edit		Revision as of 07:28, 28 January 2021 edit undo Laiwoonsiu (talk \| contribs) Extended confirmed users 922 edits m →References: Renamed the section as ==Bibliography== because no references are cited. Next edit →
Line 13: * [[Formal methods]] ==~~References~~Bibliography== * 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'' (June 1990). pp. 309–351.

OBJ (programming language): Difference between revisions