Chalmers函数编程研究小组

现在有一个新的FP组页面.

旧消息:

  • 2016-10-01:三名新的学生研究助理(助理)在优雅项目:Sólrún Einarsdóttir、Oskar Abrahamsson、Björn Norgren。
  • 2016-09-16:从2017年起,FP研究小组将成为一个部门。任命新的司司长的进程正在进行中。
  • 2016-06-01:马克西米利安·阿尔盖德开始担任学生研究助理(助理)优雅项目

成功案例和专业知识

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

成员:

其他当地FP人员

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

前成员

研究项目

其他。

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

...

关联公司

其他

旧消息