Lambda the Ultimate

Functor Group AB, with its subsidiaries Functor AB and Functor Consulting AB, is a spin-off company, founded in early 2011, from Uppsala University, KTH, Stockholm University, University of Cambridge and Oxford University. Functor offers a new combined static analysis and hybrid testing tool and method (over 50% of bugs in C code can prevented) and a meta language modelling tool for domain engineering and DSL programming. Functor unleashes the next programming paradigm (STEW 2012) with zero learning curve.

Anyone know what this company is about? I see two products, Prevent and Scalor, some mentioning of C, Ocaml, Haskell, LLVM. But little detail.

Note: You can run one of their tools, Prevent, on a github project.