Concepedia

Kathleen Milsted

KM

Statistics

Publications

2

Citations

60

H-Index

2

Active since

1993

Affiliations

Centre National de la Recherche Scientifique(Current)

Kathleen Milsted is an author at Centre National de la Recherche Scientifique specializing in computing, type systems, and formal methods.

Publications per year

1993–2002

2

Publications

2

The genericity theorem and parametricity in the polymorphic λ-calculus

G. Longo, Kathleen Milsted, Sergei Soloviev · Theoretical Computer Science · 1993 · 34 citations · Full text

, , +7

A logic of subtyping

G. Loop, Kathleen Milsted, S. Soloviev · 2002 · 26 citations

, , +10

1–2 of 2