Agda
Agda 是一个依赖类型的纯函数式编程语言。目前的版本，Agda 2，最初由瑞典查尔摩斯工学院的 Ulf Norell 作为博士论文课题设计并实现。先前的版本 Agda 1 由 Catarina Coquand 在 1999 年开发，而现今的版本则是对其的彻底重写，因此可视作一个全新的语言，但保留了 Agda 的命名和传统。 Agda 的类型系统体现了柯里-霍华德同构（Curry-Howard correspondence），因此亦可作…
标签：#查尔姆斯工学院
共 3 篇文章
查爾摩斯理工大學
{{Infobox_University |校名 = 查尔姆斯理工大学 |native_name = |english_name = Chalmers University of Technology |latin_name = |founder = William Chalmers |校徽 = |校訓 =Avancez (法语) |創校 =1829年 |類 =私立大學 |country = |state =西约塔兰省 |city =哥…
IDEA联盟
IDEA联盟是由五所欧洲著名的理工科大学组成的大学联盟，成立于1999年，后两位成员退出，又有两位新成员加入。这五所大学有很多共同点，他们都是各自国家中最大的理工科大学，但这并不意味这他们只提供理工科的课程，而是学科极为齐全的全球名校。 现有成员 退出成员 伦敦帝国学院于2012年12月决定退出联盟。 巴黎高科于2013年末因学校重组而退出联盟。 参考文献