Kevin Glynn

According to our database, Kevin Glynn authored at least 8 papers between 1989 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Constructed product result analysis for Haskell.

Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones

J. Funct. Program., 2004

A Fault Tolerant Abstraction for Transparent Distributed Programming.

Donatien Grolaux, Kevin Glynn, Peter Van Roy

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

2002

Exception analysis for non-strict languages.

Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001

Effective Strictness Analysis with HORN Constraints.

Kevin Glynn, Peter J. Stuckey, Martin Sulzmann

Proceedings of the Static Analysis, 8th International Symposium, 2001

Boolean Constraints for Binding-Time Analysis.

Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard

Proceedings of the Programs as Data Objects, Second Symposium, 2001

2000

Type Classes and Constraint Handling Rules

Kevin Glynn, Martin Sulzmann, Peter J. Stuckey

CoRR, 2000

1998

Strictness Analysis as Finite-Domain Constraint Solving.

Tihomir Gabric, Kevin Glynn, Harald Søndergaard

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1989

Evaluation Annotations for Hope⁺.

John M. Kewley, Kevin Glynn

Proceedings of the Functional Programming, 1989