CS Dept. The University of Iowa, USA;
rnLSI Dept. Universitat Politecnica de Catalunya, Spain;
rnTimothy Simpson CSE Dept. Washington University in St. Louis, USA;
Timothy Simpson CSE Dept. Washington University in St. Louis, USA;
operational type theory; dependently typed programming; language-based verification;
机译:探索计划的实施,分析穆罕默德·米达耶的问题2中学教师Karanglewas
机译:提高了使用QUEST程序分析MGMP IPS教师的测试项目的能力
机译:教师写作计划:为提高三宝垄地区科学写作中的历史教师的专业能力做出的努力
机译:经验证的Guru编程
机译:示例大师:在基于工件的上下文中向新手程序员推荐示例
机译:MH-Guru的有效性一项针对工作场所的简短在线心理健康计划:一项随机对照试验
机译:在大师中验证的编程
机译:GURU:用于分析分类数据的计算机程序