Chalmers函数编程研究小组

新闻:

  • 2016-10-01:三名新的学生研究助理(Amanuns)在优雅项目:Sórún Einarsdóttir、Oskar Abrahamsson、Björn Norgren。
  • 2016年9月16日:从2017年起,FP研究小组将成为一个部门。任命新的司司长的进程正在进行中。
  • 2016-06-01:Maximilian Algehed开始担任优雅项目

成功案例和专业知识

  • 有影响力的测试框架QuickCheck(针对Haskell和Erlang)
  • 获奖的MiniSat SAT解算器
  • 获奖者悖论模型查找器
  • 程序设计语言哈斯克尔(语言开发、编译、库、工具的一部分)
  • 通用函数程序设计(多型程序设计)的发展
  • 领域特定语言(Lava、Wired、QuickCheck、Feldspar等)

成员:

其他本地计划生育人员

  • Aarne Ranta(教授)、Ulf Norell、Nils Anders Danielsson

前成员

研究项目

其他。

其他FP相关研究小组/项目

...

关联公司

其他

旧闻