Cornell University, Ithaca, NY, USA;
Gallinette Project-Team, Inria Nantes, Rennes, France;
Universite Cote d'Azur, Inria, Nice, France;
Pi.R2 Project-Team, Inria Paris and IRIF, Paris, France;
Gallinette Project-Team, Inria Nantes, Rennes, France;
机译:类型化语法元编程
机译:语境模态类型理论(CMTT)的表示法:语法和元编程
机译:预防糖尿病癌症诊断型糖尿病患者:是经过认证的运动训练器未开发的资源?
机译:参考键入模板 - COQ的认证元编程
机译:类型化的自适用元编程
机译:预防糖尿病ketoacidosis在1型糖尿病患者诊断:是否被证明的运动培训师进行了未开发的资源?
机译:语境模态类型理论(CMTT)的含义:语法和元编程