haskell software engineering computing computer programming generic programming curly bracket programming languages procedural programming languages c (programming language) functional languages haskell (programming language) yi (editor) ericsson erlang (programming language) phase-type distribution ejabberd logic mathematics mathematical logic functional programming recursion theory theoretical computer science lambda calculus type theory lambda binary lambda calculus pure type system