Viktória Zsók
Debugging Haskell Haskell programming ML programming function-based programming functional logic computation functional progamming languages functional programming functional theorem proving graph rewriting logic mathematical semantics parallel functional programming programming verification