Abstract Types & Dependence in Programming Languages. - James Hook (1988)

The Romulus Proof Checker. - Carl Eichenlaub; Bruce Esrig; James Hook; Carl Klapper; Garrel Pottinger (CADE, 1990)

Static Single Assignment for Explicitely Parallel Programs. - Harini Srinivasan; James Hook; Michael Wolfe (POPL, 1993)

Monads, Indexes and Transformations. - Françoise Bellegarde; James Hook (TAPSOFT, 1993)

Software design for reliability and reuse: a proof-of-concept demonstration. - Jeffrey M. Bell; Françoise Bellegarde; James Hook; Richard B. Kieburtz; Alex Kotov; Jeffrey Lewis; Laura McKinney; Dino Oliva; Tim Sheard; L. Tong; Lisa Walton; Tong Zhou (TRI-Ada, 1994)

Substitution: A Formal Methods Case Study Using Monads and Transformations. - Françoise Bellegarde; James Hook (Sci. Comput. Program., 1994)

Teaching Software Quality and Leadership: Experiences and Successes. - Judy Bamberger; James Hook (APSEC, 1995)

Calculating Software Generators from Solution Specifications. - Richard B. Kieburtz; Françoise Bellegarde; Jeffrey M. Bell; James Hook; Jeffrey Lewis; Dino Oliva; Tim Sheard; Lisa Walton; Tong Zhou (TAPSOFT, 1995)

A Software Engineering Experiment in Software Component Generation. - Richard B. Kieburtz; Laura McKinney; Jeffrey M. Bell; James Hook; Alex Kotov; Jeffrey Lewis; Dino Oliva; Tim Sheard; Ira Smith; Lisa Walton (ICSE, 1996)

Type-Driven Defunctionalization. - Jeffrey M. Bell; Françoise Bellegarde; James Hook (ICFP, 1997)

Haskell as an Automation Controller. - Daan Leijen; Erik Meijer 001; James Hook (Advanced Functional Programming, 1998)

Client-Side Web Scripting with HaskellScript. - Erik Meijer 001; Daan Leijen; James Hook (PADL, 1999)

Fine Control of Demand in Haskell. - William L. Harrison; Tim Sheard; James Hook (MPC, 2002)

Experience with Abstraction-carrying Code. - Songtao Xia; James Hook (SoftMC@CAV, 2003)

Certifying Temporal Properties for Compiled C Programs. - Songtao Xia; James Hook (VMCAI, 2004)

Achieving Information Flow Security through Precise Control of Effects. - William L. Harrison; James Hook (CSFW, 2005)

The ICFP developer conference 2008. - James Hook; Michael Sperber (ACM SIGPLAN Notices, 2008)

Achieving information flow security through monadic control of effects. - William L. Harrison; James Hook (J. Comput. Secur., 2009)

Critical Path Statistics of Max-Plus Linear Systems with Gaussian Noise. - James Hook (J. Appl. Probab., 2013)

Max-plus statistical leverage scores. - James Hook (CoRR, 2016)

Max-Plus Algebraic Statistical Leverage Scores. - James Hook (SIAM J. Matrix Anal. Appl., 2017)

Performance analysis of asynchronous parallel Jacobi. - James Hook; Nicholas J. Dingle (Numer. Algorithms, 2018)

Bayesian Screening: Multi-test Bayesian Optimization Applied to in silico Material Screening. - James Hook; Calum Hand; Emma Whitfield (CoRR, 2020)