University of Strathclyde;
Microsoft Research Cambridge;
parametricity; units of measure; dimensional analysis; invariance; computational geometry; information flow; metric types; uniform continuity;
机译:代数索引类型的抽象和不变性
机译:关于抽象的代数数据类型的推理
机译:具有抽象的代数数据类型的决策程序
机译:代数索引类型的抽象和不变性
机译:注重方差和不变性:代数结构意义的建构
机译:统计学习中的抽象和泛化:对语义类型和情节性记号之间关系的启示
机译:代数索引类型的抽象和不变性
机译:用于图像数据库索引,图像识别和计算机视觉的代数几何和计算代数几何