Kathleen Milsted

According to our database, Kathleen Milsted authored at least 7 papers between 1989 and 2000.

Collaborative distances:

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

2000

Coherence and transitivity of subtyping as entailment.

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

J. Log. Comput., 2000

1998

TINA-oriented Service Engineering Support to Service Composition and Federation.

Sofoklis Efremidis, Didoe Prevedourou, L. Demounem, Kathleen Milsted, Han Zuidweg

Proceedings of the Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 1998

1995

A Logic of Subtyping (Extended Abstract)

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

Proceedings of the Proceedings, 1995

OMT Object Models of Telecommunications Services.

Kathleen Milsted

Proceedings of the Bringing Telecommunication Services to the People, 1995

1993

The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus.

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

Theor. Comput. Sci., 1993

The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1989

Specifying reusable components using Z: realistic sets and dictionaries.

Ralph L. London, Kathleen Milsted

Proceedings of the 5th International Workshop on Software Specification and Design, 1989