QingMing Ma

Publication Activity (10 Years)

Years Active: 1991-1992
Publications (10 Years): 0

Publications

QingMing Ma
Parametricity as Subtyping. POPL (1992)
QingMing Ma, John C. Reynolds
Types, Abstractions, and Parametric Polymorphism, Part 2. MFPS (1991)