QingMing Ma

According to our database¹, QingMing Ma authored at least 2 papers between 1991 and 1992.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1992

Parametricity as Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991

Types, Abstractions, and Parametric Polymorphism, Part 2.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Semantics, 1991