Zoltán Horváth
Erlang Haskell programming Refactoring applicative programming distributed computing functional programming functional programming tools higher level GUI programming program folding programming programming language reactive programming real-time functional languages recursion schemes verification