• Hans-Wolfgang Loidl, Phil Trinder, Kevin Hammond, Abdallah Al Zain, Clem Baker-Finch,
  Semi-Explicit Parallel Programming in a Purely Functional Style: GpH
  Chapter 2 of Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development, M. Alexander and W.Gardner (eds), 2009.

• Clem Baker-Finch,
  A Photographic Model,
  photo / not-photo (Exhibition Catalogue), VIVID National Photography Festival, July 2008, pages 29-35.

• Clem Baker-Finch, Kevin Glynn, Simon Peyton Jones,
  Constructed Product Result Analysis for Haskell,
  Journal of Functional Programming, 14(2):211-245, March 2004.

• Ben Lippmeier and Clem Baker-Finch,
  An AMPLE Implementation
  15th International Workshop on the Implementation of Functional Languages (draft proceedings),
  Edinburgh, September 2003, pages 161-176.

• Clem Baker-Finch, David King and Phil Trinder,
  An Operational Semantics for Parallel Lazy Evaluation,
  ACM International Conference on Functional Programming (ICFP'00), Montreal, September 2000, pages 162-173.

• Clem Baker-Finch,
  An Abstract Machine for Parallel Lazy Evaluation,
  Chapter 17 of Trends in Functional Programming, Intellect Books, 2000, pages 153-161.

• Clem Baker-Finch
  Parallel Lazy Abstract Machines,
  Proceedings of the First Scottish Functional Programming Workshop, 1999.

• Jon Hall, Clem Baker-Finch, Phil Trinder and David King,
  Towards an Operational Semantics for a Non-Strict Parallel Language,
  International Workshop on the Implementation of Functional Languages, London, 1998, LNCS vol. 1595, pages 55-72.

• Clem Baker-Finch,
  Type Theory and Projections for Static Analysis,
  Journal of Lisp and Symbolic Computation 8, 3, October 1995, pages 267-285.

• Clem Baker-Finch,
  Type Theory and Projections for Higher-Order Static Analysis,
  ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94), Orlando, 1994, pages 43-52.

• David Wright and Clem Baker-Finch,
  Usage Analysis with Natural Reduction Types,
  Third International Workshop on Static Analysis, Padova, 1993, LNCS vol. 724, pages 254-266.

• Clem Baker-Finch,
  Relevant Logic and Strictness Analysis,
  Workshop on Static Analysis, LaBRI, Bordeaux, 1992. Bigre 81-82, pages 221-228.

• Clem Baker-Finch,
  Higher-Order Specifications with First-Order Models,
  15th Australian Computer Science Conference, Australian Computer Science Communications, 1992, pages 57-69.

• Clem Baker-Finch,
  An Algebraic Model for Operational Semantics and Proofs of Congruence,
  14th Australian Computer Science Conference, Australian Computer Science Communications, 1991, pages 40.1-40.10.

• Clem Baker-Finch,
  The (Algebraic) Congruence of Two Programming Language Definitions,
  Science of Computer Programming, 4, 1990, pages 81-96.

Selected technical reports