Functional Programming

Our expertise is based on a hands-on experience with functional paradigm application to the real world. From production ready languages like Scala, Erlang, Elm and Haskell and to the brink of current state of arts in the computer science, including static code verification with theorem provers.



Scala Scala
Erlang Erlang
Haskell Haskell
Common Lisp Common Lisp
Elm Elm