Recent Changes - Search:

FP


The Chalmers FP wiki is part of the CSE dept. wiki.

Recent Changes


edit SideBar

FP /

Functional Programming Research Group at Chalmers

News:

Success stories and expertise

  • the influential testing framework QuickCheck (for Haskell and Erlang)
  • the award-winning MiniSat SAT-solver
  • the award winning Paradox model finder
  • the programming language Haskell (part of the language development, compilation, libraries, tools)
  • development of generic functional programming (polytypic programming)
  • domain specific languages (Lava, Wired, QuickCheck, Feldspar, ...)

Members:

Other local FP people

  • Aarne Ranta (Prof.), Ulf Norell, Nils Anders Danielsson

Former members

Research Projects

Misc.

Other FP-related research groups / projects

...

Related Companies

Other

Old news

Edit - History - Print - Recent Changes - Search
Page last modified on July 03, 2014, at 10:18 AM