Below are links to a number of examples of OBJ code and results of executing that code. All examples use the BOBJ version of OBJ, which was coded by Kai Lin as part of his UCSD PhD thesis work.

1. The strip function (see Sethi p.350), and the resulting output.
2. All executable OBJ code from Higher Order Functions Considered Unnecessary for Higher Order Programming, and the resulting output.
3. Proof of (H) for the iter function, and the resulting output.