| 2004 |
|---|
| 8 | EE | Donatien Grolaux,
Kevin Glynn,
Peter Van Roy:
A Fault Tolerant Abstraction for Transparent Distributed Programming.
MOZ 2004: 149-160 |
| 7 | EE | Clement A. Baker-Finch,
Kevin Glynn,
Simon L. Peyton Jones:
Constructed product result analysis for Haskell.
J. Funct. Program. 14(2): 211-245 (2004) |
| 2002 |
|---|
| 6 | EE | Kevin Glynn,
Peter J. Stuckey,
Martin Sulzmann,
Harald Søndergaard:
Exception analysis for non-strict languages.
ICFP 2002: 98-109 |
| 2001 |
|---|
| 5 | EE | Kevin Glynn,
Peter J. Stuckey,
Martin Sulzmann,
Harald Søndergaard:
Boolean Constraints for Binding-Time Analysis.
PADO 2001: 39-62 |
| 4 | EE | Kevin Glynn,
Peter J. Stuckey,
Martin Sulzmann:
Effective Strictness Analysis with HORN Constraints.
SAS 2001: 73-92 |
| 2000 |
|---|
| 3 | EE | Kevin Glynn,
Martin Sulzmann,
Peter J. Stuckey:
Type Classes and Constraint Handling Rules
CoRR cs.PL/0006034: (2000) |
| 1998 |
|---|
| 2 | EE | Tihomir Gabric,
Kevin Glynn,
Harald Søndergaard:
Strictness Analysis as Finite-Domain Constraint Solving.
LOPSTR 1998: 255-270 |
| 1989 |
|---|
| 1 | | John M. Kewley,
Kevin Glynn:
Evaluation Annotations for Hope+.
Functional Programming 1989: 329-337 |
