Q
QingMing Ma
Researcher at Carnegie Mellon University
Publications - 1
Citations - 114
QingMing Ma is an academic researcher from Carnegie Mellon University. The author has contributed to research in topics: Parametric polymorphism & Lambda calculus. The author has an hindex of 1, co-authored 1 publications receiving 111 citations.
Papers
More filters
Book ChapterDOI
Types, Abstractions, and Parametric Polymorphism, Part 2
QingMing Ma,John C. Reynolds +1 more
TL;DR: The concept of relations over sets is generalized to relations over an arbitrary category, and used to investigate the abstraction (or logical-relations) theorem, the identity extension lemma, and parametric polymorphism for Cartesian-closed-category models of the simply typed lambda calculus and PL-category model of the polymorphic typedlambda calculus.