Kevin E. Flannery

According to our database¹, Kevin E. Flannery authored at least 4 papers between 1989 and 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

Improved Length Lower Bounds for Reflecting Sequences.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, Second Annual International Conference, 1996

1993

Lambda-Calculi with Decidable Cappa-Type Checking.

[BibT_eX]

Proceedings of the Computing and Information, 1993

1990

The Hoare and Smith Power Domain Constructors Commute under Composition.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1990

1989

Conjunctive polymorphic type checking with explicit types.

[BibT_eX]

[DOI]

PhD thesis, 1989