Kevin Glynn

Publication Activity (10 Years)

Years Active: 1989-2004
Publications (10 Years): 0

Publications

Donatien Grolaux, Kevin Glynn, Peter Van Roy
A Fault Tolerant Abstraction for Transparent Distributed Programming. MOZ (2004)
Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones
Constructed product result analysis for Haskell. J. Funct. Program. 14 (2) (2004)
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
Exception analysis for non-strict languages. ICFP (2002)
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
Boolean Constraints for Binding-Time Analysis. PADO (2001)
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
Effective Strictness Analysis with HORN Constraints. SAS (2001)
Kevin Glynn, Martin Sulzmann, Peter J. Stuckey
Type Classes and Constraint Handling Rules CoRR (2000)
Tihomir Gabric, Kevin Glynn, Harald Søndergaard
Strictness Analysis as Finite-Domain Constraint Solving. LOPSTR (1998)
John M. Kewley, Kevin Glynn
. Functional Programming (1989)