Evaluation Annotations for Hope+. - John M. Kewley; Kevin Glynn (Functional Programming, 1989)

Strictness Analysis as Finite-Domain Constraint Solving. - Tihomir Gabric; Kevin Glynn; Harald Søndergaard (LOPSTR, 1998)

Type Classes and Constraint Handling Rules - Kevin Glynn; Martin Sulzmann; Peter J. Stuckey (CoRR, 2000)

Boolean Constraints for Binding-Time Analysis. - Kevin Glynn; Peter J. Stuckey; Martin Sulzmann; Harald Søndergaard (PADO, 2001)

Effective Strictness Analysis with HORN Constraints. - Kevin Glynn; Peter J. Stuckey; Martin Sulzmann (SAS, 2001)

Exception analysis for non-strict languages. - Kevin Glynn; Peter J. Stuckey; Martin Sulzmann; Harald Søndergaard (ICFP, 2002)

A Fault Tolerant Abstraction for Transparent Distributed Programming. - Donatien Grolaux; Kevin Glynn; Peter Van Roy (MOZ, 2004)

Constructed product result analysis for Haskell. - Clement A. Baker-Finch; Kevin Glynn; Simon L. Peyton Jones (J. Funct. Program., 2004)