CNRS, Laboratoire Preuves, Programmes et Systemes, Univ Paris Diderot, Sorbonne Paris Cite, Paris, France;
CNRS, Laboratoire Preuves, Programmes et Systemes, Univ Paris Diderot, Sorbonne Paris Cite, Paris, France,State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Science, Beijing, China;
types; subtyping; polymorphism; parametricity; XML;
机译:参数多态性和子类型的集理论基础
机译:现代关系数据库的集合理论基础:表代数运算的表示
机译:现代关系数据库的集合理论基础:表代数运算的表示
机译:参数多态性和亚型的设定理论基础
机译:妊娠结局和社区健康研究中与炎症相关的基因多态性和早产亚型。
机译:火蚁关键社会多态性的替代遗传基础。
机译:内核乐趣中的子类型化,递归和参数多态