Jeffrey M. Bell

Software design for reliability and reuse: a proof-of-concept demonstration

Tong Zhou, James Hook, Françoise Bellegarde, 1994, TRI-Ada '94.

Calculating Software Generators from Solution Specifications

Tong Zhou, Tim Sheard, James Hook, 1995, TAPSOFT.

A software engineering experiment in software component generation

Tim Sheard, James Hook, Richard B. Kieburtz, 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

Type-driven defunctionalization

James Hook, Françoise Bellegarde, Jeffrey M. Bell, 1997, ICFP '97.