Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit by Gibbons, J

Design patterns as higher-order datatype-generic programs by Gibbons, J

Towards a colimit-based semantics for visual programming by Gibbons, J

Foreword by Gibbons, J

A New View of Binary Trees by Gibbons, J

The Beauty of Simplicity by Gibbons, J

Fission for program comprehension by Gibbons, J

Computing Downwards Accumulations on Trees Quickly by Gibbons, J

Generic Downwards Accumulations by Gibbons, J

Coding with asymmetric numeral systems by Gibbons, J

Comprehending Ringads by Gibbons, J

Maximum Segment Sum‚ Monadically (distilled tutorial) by Gibbons, J

Categories for the Working Haskeller by Gibbons, J

Metamorphisms: Streaming representation-changers by Gibbons, J

Fission for Program Comprehension by Gibbons, J

APLicative programming with Naperian functors by Gibbons, J

An Unbounded Spigot Algorithm for the Digits of Pi by Gibbons, J

Calculating Functional Programs by Gibbons, J

An Introduction to the Bird−Meertens Formalism by Gibbons, J

Polytypic Downwards Accumulations by Gibbons, J